ulamai/ulamai

Lean 4 theorem prover CLI with LLM reasoning

View on index · View in 3D Map

Related repos

• Collection of papers on LLM reasoning
• Forces LLMs into structured reasoning through argumentation models
• Hierarchical LLM reasoning with thought templates
• Solves math problems with formal proofs
• tools for building and evaluating advanced LLM reasoning algorithms
• Distributed LLM inference on home devices
• Gateway for LLM APIs with failover and load balancing
• Collection of formalized conjecture statements in Lean
• Secures AI model interactions
• zkML framework for proving AI model inferences with zero-knowledge proofs