facebookresearch/atlas-lean
LLMs autoformalize 26 textbooks into 480k lines of Lean code
View on index · View in 3D Map
Related repos
- Roadmaps and notebooks for building LLMs
- Curated LLM post-training datasets
- Local coding assistant with test-time learning
- Formalizes mathematics textbooks in Lean via multi-agent collaboration
- Benchmark for agents to reproduce scientific findings
- Converts documents into datasets for LLM fine-tuning
- Generates novels and course content using LLMs
- fastRAG helps you build efficient retrieval-augmented generation pipelines with optimized LLMs and search tools
- large language model tutorials and training basics from scratch
- Balances data samples for inference
