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

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
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