facebookresearch/repoprover

Formalizes mathematics textbooks in Lean via multi-agent collaboration

View on index · View in 3D Map

Related repos

• Library for benchmarking multi-agent reinforcement learning algorithms
• Curated papers on agent reinforcement learning
• Explore questions via recursive agents
• Open source AI agents for learning and building with Live Agent Studio
• Research agent framework for scientific paradigm generation
• rules and knowledge for working with agents like Claude Code or Cursor
• Tutorials for LLMs, RAG, and agents
• Research agent for tool-augmented reasoning
• Multi-agent framework for building collaborative LLM applications
• Community-driven examples of building AI applications