philip-vonderlind/jgex_problem_messages
Viewer
• Updated
• 71 • 19
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 29 days ago
philip-vonderlind/jgex_problem_messages published
a dataset 29 days ago
philip-vonderlind/jgex_problem_messages upvoted a paper about 1 month ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics Organizations
