Philip Vonderlind

philip-vonderlind's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset about 1 month ago

philip-vonderlind/jgex_problem_messages

Viewer • Updated Feb 6 • 71 • 9

published a dataset about 1 month ago

philip-vonderlind/jgex_problem_messages

Viewer • Updated Feb 6 • 71 • 9

upvoted a paper about 2 months ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Paper • 2601.14027 • Published Jan 20 • 12

upvoted a paper 3 months ago

Hermes 4 Technical Report

Paper • 2508.18255 • Published Aug 25, 2025 • 45

upvoted an article 3 months ago

view article

Article

Continuous batching from first principles

• 
• 
• +1

Nov 25, 2025

•

343

upvoted a collection 4 months ago

MoEs papers reading list

Collection

60 items • Updated Nov 4, 2024 • 145

upvoted a paper 4 months ago

U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs

Paper • 2412.03205 • Published Dec 4, 2024 • 19

updated a model 4 months ago

philip-vonderlind/AIMO_Singularity

Updated Oct 31, 2025

published a model 4 months ago

philip-vonderlind/AIMO_Singularity

Updated Oct 31, 2025

published a dataset 4 months ago

philip-vonderlind/AIMO_Singularity

Updated Oct 31, 2025 • 9

upvoted an article 4 months ago

view article

Article

SmolLM3: smol, multilingual, long-context reasoner

• 
• 
• +21

Jul 8, 2025

•

764

liked a model 8 months ago

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Jan 30 • 84.4k • • 2.33k