Runtime error
Circadian Rythm
🚀
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
7 days ago
philip-vonderlind/jgex_problem_messages
published
a dataset
7 days ago
philip-vonderlind/jgex_problem_messages
upvoted
a
paper
22 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Organizations
