Hugging Face's logo
Tim Dingman's picture
1 45 1

Tim Dingman

tdingman
https://timdingman.com/

AI & ML interests

None yet

Recent Activity

upvoted a paper 14 days ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
upvoted a paper 14 days ago
Chain-of-Agents: End-to-End Agent Foundation Models via Multi-Agent Distillation and Agentic RL
upvoted a paper 14 days ago
On the Generalization of SFT: A Reinforcement Learning Perspective with Reward Rectification
View all activity

Organizations

None yet