FilesExpand file tree

 main

/

imo_benchmark_example.jsonl

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

3 lines (3 loc) · 465 Bytes

 main

/

imo_benchmark_example.jsonl

Top

File metadata and controls

• Code
• Blame

3 lines (3 loc) · 465 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

{"id": "A1", "kind": "answer", "problem": "Compute 1+2+\\dots+100.", "golden_answer": "5050"}

{"id": "A2", "kind": "answer", "problem": "Find the value of 2^10.", "golden_answer": "1024"}

{"id": "P1", "kind": "proof", "problem": "Let n be a positive integer. Prove that 1^2+2^2+\\dots+n^2 = n(n+1)(2n+1)/6.", "reference_solution": "Standard induction or combinatorial proof.", "guidelines": "Base case; inductive step; algebra correct; final closed form correct."}