Chris Pollett >
Students >
Rohan
( Print View)
[Bio]
[Blog]
[C297 Proposal]
[Deliverable 1  MATH Dataset]
[Deliverable 1  GSM8k Dataset]
[Deliverable_2  Integrate mathics tool]
[Deliverable_3  Prove Infinite primes theorm using LEAN]
[ChainofThought Prompting in LLMs]

Project Blog
Nov 5, 2024
Meeting Summary
 Demonstrated infinite primes thoerm using LEAN
ToDo List
 Prepare slide deck on [Wei2022]
 Formulate a LEAN proof using LLM
Oct 29, 2024
Meeting Summary
 Presented Tutorials I prepared on LEAN and HOL
ToDo List
 Continue exploring LEAN and prove infinite primes theorm
Oct 22, 2024
Meeting Summary
 Presented Deliverable 2: Integrating Mathics tool with LLM to compute sin^2(x)
 Professor and I discussed various alternatives to LEAN: HOL, ISABELLE, Coq
ToDo List
 Create a tutorial on LEAN to prove adding 1 x times = adding x
 Contrast LEAN with HOL
Oct 15, 2024
Meeting Summary
 Presented Deliverable 1: Results of finetuning on MATH and GSM8k dataset
 Discussed on how an agentic architecture works, specifically ReAct
ToDo List
 Add slides on how to use mathics
 Present Deliverable 2
Oct 8, 2024
Meeting Summary
 Took a closer look at how weight decomposition works in LoRA
ToDo List
 Prepare slides on Mathics
 Read up how a RAG architecture works and its working.
 Measure the impact of finetuning by comparing vanilla GPT2 and its finetuned version
Oct 1, 2024
Meeting Summary
 Presented a slides deck on DoRA.
 Finalized the expected results' format for Deliverable 1
ToDo List
Sep 24, 2024
Meeting Summary
 Presented the research paper on LoRA.
 Deeper look into working of LoRA.
 Talked about variants of LoRA (DoRA).
ToDo List
 Complete deliverable 1 and furnish the results.
 Explore alternatives to LoRA (e.g., DoRA) and prepare slides.
Sep 16, 2024
Meeting Summary
 Presented a paper that describes MATH dataset
 Discussed approaches on how to finetune models. LoRA looked promising
ToDo List
 Make slides on the Math dataset research paper.
 Make slides on finetuning using LoRA.
 Start finetuning on GPT2.
 Update deliverable 1 to submit finetuned results.
Sep 10, 2024
ToDo List
 Update my blog, proposal, and bio on the website.
