math-ai-org/mathcode
Converts math problems into Lean 4 theorems and proofs
View on index · View in 3D Map
Related repos
- Collection of formalized conjecture statements in Lean
- AI agent for math problem solving with OCR and RAG
- Implementations of agents and RAG systems
- Formalizes mathematics textbooks in Lean via multi-agent collaboration
- Open-source AI models and data for math, science, and coding benchmarks
- Links code to AI agents and transcripts
- Architecture notes for systems where AI writes implementation code
- Lean 4 theorem prover CLI with LLM reasoning
- Curated list of AI models and tools
- Learning paths for applied AI concepts
