Ivo Petrov

ivovpetrov01's activity

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

updated a dataset about 1 month ago

AIMO-Corpus/PolyMath

Viewer • Updated Feb 9 • 22.2k • 150 • 1

published a model 5 months ago

INSAIT-Institute/BrokenMath-Qwen3-4B

4B • Updated Oct 7, 2025 • 1 • 1

published a dataset 5 months ago

INSAIT-Institute/BrokenMath

Viewer • Updated Oct 7, 2025 • 15.4k • 85 • 1

updated a collection 5 months ago

BrokenMath

Collection

The first benchmark for evaluating LLM sycophancy in mathematical reasoning. • 3 items • Updated Oct 10, 2025

updated a model 5 months ago

INSAIT-Institute/BrokenMath-Qwen3-4B

4B • Updated Oct 7, 2025 • 1 • 1

updated a dataset 5 months ago

INSAIT-Institute/BrokenMath

Viewer • Updated Oct 7, 2025 • 15.4k • 85 • 1

updated a collection 5 months ago

BrokenMath

Collection

The first benchmark for evaluating LLM sycophancy in mathematical reasoning. • 3 items • Updated Oct 10, 2025

updated a dataset 8 months ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 124 • 14

liked a dataset 8 months ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 124 • 14

updated a model 9 months ago

INSAIT-Institute/OPC-R1-8B

8B • Updated Jun 24, 2025 • 9 • 3

published a dataset 9 months ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 124 • 14

updated a collection 9 months ago

Open Proof Corpus

Collection

A collection of the Open Proof Corpus dataset and the finetuned judging model. • 2 items • Updated Oct 8, 2025

published a model 9 months ago

INSAIT-Institute/OPC-R1-8B

8B • Updated Jun 24, 2025 • 9 • 3