Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2140.8
TFLOPS
6
8
Philip Vonderlind
philip-vonderlind
Follow
EncikAM's profile picture
21world's profile picture
2 followers
·
5 following
pvonderlind
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 15 hours ago
philip-vonderlind/jgex_problem_messages
published
a dataset
about 15 hours ago
philip-vonderlind/jgex_problem_messages
upvoted
a
paper
15 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
View all activity
Organizations
spaces
1
Runtime error
Circadian Rythm
🚀
models
1
philip-vonderlind/AIMO_Singularity
Updated
Oct 31, 2025
datasets
3
Sort:Â Recently updated
philip-vonderlind/jgex_problem_messages
Viewer
•
Updated
about 15 hours ago
•
71
philip-vonderlind/AIMO_Singularity
Updated
Oct 31, 2025
•
1
philip-vonderlind/math_pdf_metadata_class
Updated
Apr 15, 2025