Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Paper
•
2601.14027
•
Published
•
9
Philip Vonderlind
philip-vonderlind
AI & ML interests
Interested in all things AI, LLMs, ML and NLP;
Currently writing a paper on Generative Datasets for LLMs
Recent Activity
upvoted
a
paper
about 12 hours ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Organizations
upvoted
a
paper
about 12 hours ago
upvoted
a
paper
about 1 month ago
upvoted
an
article
about 1 month ago
Article
Continuous batching from first principles
- +1
•
309
upvoted
a
collection
3 months ago
upvoted
a
paper
3 months ago
upvoted
an
article
3 months ago
Article
SmolLM3: smol, multilingual, long-context reasoner
- +21
•
750