Skip to content
View rahul3613's full-sized avatar
4 followers · 11 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 focus is on Neural Theorem Proving — using LLMs to prove mathematical theorems in formal environments.
⚙️ Experienced in developing LLM-based agents, fine-tuning models, and backend-focused web development.
🔍 Interested in applied research roles in AI reasoning systems.

📫 Reach me at [email protected]

Pinned Loading

  1. ProofNet-lean4 ProofNet-lean4 Public

    ProofNet dataset ported into Lean 4

    TeX 25 10

  2. ai_lab ai_lab Public

    A framework for LLM based research lab

    Jupyter Notebook

  3. miniF2F-lean4 miniF2F-lean4 Public

    miniF2F dataset ported into Lean 4

    Lean 6 4

  4. sdgniser/arc sdgniser/arc Public

    NISER Archive

    HTML 7 4

  5. leanprover_web leanprover_web Public

    Repo for proving Lean theorems via a web interface.

    Python

  6. mathlib mathlib Public

    Forked from leanprover-community/mathlib3

    RW modified lib for my project.

    Lean