Hugging Face's logo
Philip Vonderlind's picture
6 8

Philip Vonderlind

philip-vonderlind
EncikAM's profile picture 21world's profile picture
·

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 7 days ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
upvoted a paper about 1 month ago
Hermes 4 Technical Report
upvoted an article about 2 months ago
Continuous batching from first principles
View all activity

Organizations

Project-Numina's profile picture Temporary-Newclid-Org's profile picture AIMO Data Dev's profile picture