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]