Simon Matrenok

matrs01's activity

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

upvoted a paper 1 day ago

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

Paper • 2610.35962 • Published 5 days ago • 18

upvoted a collection about 1 year ago

Apertus v1

Collection

Democratizing Open and Compliant LLMs for Global Language Environments: 8B and 70B open-data open-weights models, multilingual in >1000 languages • 4 items • Updated Jul 24 • 361