Tim Davidson

trdavidson's activity

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

upvoted a paper 4 days ago

h1: A Taste of the Bitter Lesson in Automated Theorem Proving

Paper • 2610.35962 • Published 7 days ago • 19

upvoted a paper 12 months ago

The Collaboration Gap

Paper • 2511.02687 • Published Nov 4, 2025 • 23

commented a paper 12 months ago

The Collaboration Gap

Paper • 2511.02687 • Published Nov 4, 2025 • 23 •

2

authored a paper over 2 years ago

Self-Recognition in Language Models

Paper • 2407.06946 • Published Jul 9, 2024 • 24

upvoted a paper over 2 years ago

Self-Recognition in Language Models

Paper • 2407.06946 • Published Jul 9, 2024 • 24

commented a paper over 2 years ago

Self-Recognition in Language Models

Paper • 2407.06946 • Published Jul 9, 2024 • 24 •

2

authored a paper over 2 years ago

Evaluating Language Model Agency through Negotiations

Paper • 2401.04536 • Published Jan 9, 2024 • 1

upvoted a collection over 2 years ago

OpenELM Instruct Models

Collection

4 items • Updated Aug 25, 2025 • 129

liked a dataset over 2 years ago

lmsys/lmsys-chat-1m

Viewer • Updated Jul 27, 2024 • 1M • 4.52k • 1.06k