Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Paper
• 2601.14027 • Published
• 12
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
updated
a dataset about 1 month ago
philip-vonderlind/jgex_problem_messages published
a dataset about 1 month ago
philip-vonderlind/jgex_problem_messages upvoted a paper about 2 months ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics Organizations
upvoted a paper about 2 months ago
upvoted a paper 3 months ago
upvoted an article 3 months ago
Article
Continuous batching from first principles
- +1
•
343
upvoted a collection 4 months ago
upvoted a paper 4 months ago
upvoted an article 4 months ago
Article
SmolLM3: smol, multilingual, long-context reasoner
- +21
•
764