Skip to content
View rahul3613's full-sized avatar
6 followers · 12 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Shark

Organizations

@sdgniser

Block or report rahul3613

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
rahul3613/README.md

👋 Hi, I’m Rahul Vishwakarma (@rahul3613)

🎓 I hold an Integrated MSc in Mathematics & Computer Science from NISER Bhubaneswar.
💼 Currently working at BHERI Tech Foundation (IIT Hyderabad) on AI agents for Indian heritage knowledge.
🧠 My primary research interests lie in using AI to do mathematics.
⚙️ Experienced in training LLMs, developing LLM-based agents, and backend-focused web development.

📫 Reach me at rahulvishwakarma3613@gmail.com

Pinned Loading

  1. ProofNet-lean4 ProofNet-lean4 Public

    ProofNet dataset ported into Lean 4

    TeX 27 10

  2. scratch_former scratch_former Public

    Building a Transformer from Scratch

    Jupyter Notebook

  3. miniF2F-lean4 miniF2F-lean4 Public

    miniF2F dataset ported into Lean 4

    Lean 7 4

  4. ai_lab ai_lab Public

    A framework for LLM based research lab

    Jupyter Notebook

  5. sdgniser/arc sdgniser/arc Public

    NISER Archive

    HTML 7 4

  6. leanprover_web leanprover_web Public

    Repo for proving Lean theorems via a web interface.

    Python