Simon Matrenok

matrs01

2 4

AI & ML interests

None yet

Recent Activity

upvoted a paper about 11 hours ago

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

liked a model about 1 year ago

swiss-ai/Apertus-70B-Instruct-2509

liked a model about 1 year ago

swiss-ai/Apertus-70B-2509

View all activity

Organizations

None yet

liked 4 models about 1 year ago

swiss-ai/Apertus-70B-Instruct-2509

Text Generation • 71B • Updated Jul 17 • 16.1k • • 194

swiss-ai/Apertus-70B-2509

Text Generation • 71B • Updated Apr 21 • 2.29k • 161

swiss-ai/Apertus-8B-2509

Text Generation • 8B • Updated Apr 20 • 13.7k • 175

swiss-ai/Apertus-8B-Instruct-2509

Text Generation • 8B • Updated Jul 17 • 391k • • 500