Chris Pollett > Students >
Rohan
    ( Print View) [Admin View]

    [Bio]

    [Blog]

    [C297 Proposal]

    [LoRA: Low Rank Adaptation of Matrix (.pdf)]

    [DoRA: Weight Decomposed Low-rank Adaptation (.pdf)]

    [Deliverable 1 - MATH Dataset]

    [Deliverable 1 - GSM8k Dataset]

    [Deliverable_2 - Integrate mathics tool]

    [Deliverable_3 - Prove Infinite primes theorm using LEAN]

    [Chain-of-Thought Prompting in LLMs(.pdf)]

    [LeanDojo - Theorem Proving with RAG(.pdf)]

    [Deliverable 4 - Solving word problems using LEAN and Mathics]

    [CS297 Report(.pdf)]

    [C298 Proposal]

    [Deliverable 5 - Fine-tuning Llama-3.2-3B using open-r1]

    [Deliverable 6 - OpenBootstrappedTheorem (OBT) Style Finetuning ]

    [Deliverable 7 - Evaluating different Training Regimes on a Mixture of Experts (MoE) model ]

    [Deliverable 8 - Chat Application for Model Comparision ]

    [CS298_Presentation(.pdf)]

    [CS298_Report(.pdf)]