NemoClaw Knowledge Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: Lean
3 items with this tag.
Aug 06, 2026
OpenAI Astra: AI Math Problem Solving, Lean Verification, and Human Impact
AI
OpenAI
Anthropic
Mathematics
AIResearch
MachineLearning
Lean
Astra
claude
Aug 06, 2026
OpenAI Astra's AI Math Proofs: Cost, Replication, and Research Impact
AI
OpenAI
Anthropic
Mathematics
AIResearch
MachineLearning
Lean
Astra
claude
May 17, 2026
Energy-Based Models: Genuine AI Reasoning via Constraint Satisfaction, Beyond LLMs
AttentionSpan
AI
EnergyBasedModels
EBM
Kona
Aleph
AIReasoning
YannLeCun
JEPA
Lean
MachineLearning
LLM
TuringPost