Repository Showcase
A curated collection of interesting GitHub repositories
google-deepmind/formal-conjectures
Collection of formalized conjecture statements in Lean
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
- Code and labs for MIT’s deep learning course
- PyTorch code for deep learning papers with explanations
- Collection of notes and guidance from Andrew Ng on structuring and troubleshooting machine learning projects
- AI crash course for busy builders
- Workshop for building AI coding agents with Claude
