google-deepmind/formal-conjectures
Collection of formalized conjecture statements in Lean
View on index · View in 3D Map
Related repos
- zkML framework for proving AI model inferences with zero-knowledge proofs
- Dataset to stress-test embedding models
- AI agent for deep research reports and workflow automation
- Collection of papers on LLM reasoning
- example code and pretrained models for machine learning weather forecasting
- Algorithmic trading engine for backtesting and live trading
- Code and labs for MIT’s deep learning course
- Dockerized blueprints for data and AI platforms
- PyTorch code for deep learning papers with explanations
- Collection of notes and guidance from Andrew Ng on structuring and troubleshooting machine learning projects
