Simon Matrenok

matrs01's activity

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

upvoted a paper 2 days ago

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

Paper • 2610.35962 • Published 6 days ago • 18

liked 4 models about 1 year ago

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

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

swiss-ai/Apertus-70B-2509

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

swiss-ai/Apertus-8B-2509

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

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

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

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

updated a dataset almost 2 years ago

matrs01/DPR_train_sample_96k_shuffled_with_completions_and_rewards_mistral_7b_v02

Viewer • Updated Jan 18, 2025 • 96k • 124

published a dataset almost 2 years ago

matrs01/DPR_train_sample_96k_shuffled_with_completions_and_rewards_mistral_7b_v02

Viewer • Updated Jan 18, 2025 • 96k • 124

updated 4 models over 2 years ago

matrs01/AI_tutor_4bit

Text Generation • 4B • Updated Jun 14, 2024 • 10

matrs01/AI_tutor_fp16_v1

Text Generation • 4B • Updated Jun 14, 2024 • 9

matrs01/AI_tutor_fp16

Text Generation • 4B • Updated Jun 14, 2024 • 8

matrs01/AI_tutor

Text Generation • 7B • Updated Jun 1, 2024 • 13