rayyanaamir22/TinyProof-Prover

LLM-guided Lean4 Theorem Prover, augmented with Monte-Carlo Tree Search, Reinforcement Learning, and Lean4 Verification. Part of the UofT GDSC Reading Course CSC392.

12
/ 100
Experimental

No commits in the last 6 months.

No License Stale 6m No Package No Dependents
Maintenance 2 / 25
Adoption 2 / 25
Maturity 8 / 25
Community 0 / 25

How are scores calculated?

Stars

2

Forks

—

Language

Jupyter Notebook

License

—

Category

llm-agent-training-gyms

Last pushed

Apr 25, 2025

Commits (30d)

0

GitHub
LLM Agent Training Gyms · 48 tools

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/rayyanaamir22/TinyProof-Prover"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

ai4co/reevo

[NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution

58

SALT-NLP/collaborative-gym

Framework and toolkits for building and evaluating collaborative agents that can work together...

58

Gen-Verse/LatentMAS

Latent Collaboration in Multi-Agent Systems

57

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

55

WooooDyy/AgentGym-RL

Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon...

52

Explore LLM Tools

All categories Trending LLM Tool directory Insights