Lagrange-Labs/deep-prove
zkML framework for proving AI model inferences with zero-knowledge proofs
View on index · View in 3D Map
Related repos
- Language model for theorem proving via subgoal decomposition
- AI inference framework for running machine learning models and neural networks on different hardware
- Step-by-step code for adding reasoning to a pre-trained LLM, with hands-on examples and explanations
- DeepEval LLM testing framework
- Collection of formalized conjecture statements in Lean
- serving AI models from any framework with optimized inference
- Collection of papers on LLM reasoning
- open-source large language model focused on complex reasoning
- open-source large language model for reasoning, coding, and agents
- curated list of AI APIs and sites with model access comparisons
