All pull requests

Pull requests

• Fix PB-Advanced-010 circumcircle nondegeneracy

  #22·sylvesterkaczmarek opened Sep 12, 2026·

  ·
  1

• Fix PB-Basic-028 side tangency constraints

  #21·sylvesterkaczmarek opened Sep 11, 2026·

  ·
  1

  2

• Fix corrupted answers in answerbench_v2.csv

  #20·rootkiller6788 opened Aug 20, 2026·

  ·

• Fix AnswerBench algebra-036 CSV alignment

  #18·ctkrug opened Jul 22, 2026·

  ·
  1

  2

• Add a lakefile for the LEAP Lean solutions

  #17·Vilin97 opened Jul 20, 2026·

  ·

• Add evaluation harness for IMO-AnswerBench

  #11·yurekami opened Feb 14, 2026·6 of 7 tasks·

  ·
  1

• Add IMO Bench dataset validation script and documentation

  #10·yash27-lab opened Feb 14, 2026·

  ·
  1

• Add CI workflow for imobench-pylib

  #9·Ashutosh0x opened Feb 12, 2026·

  ·

• Add Hugging Face dataset cards for IMO Bench

  #8·Ashutosh0x opened Feb 12, 2026·

  ·
  1

• Add AnswerAutograder and ProofAutograder prompts

  #7·Ashutosh0x opened Feb 12, 2026·

  ·
  1

• Add Level column to IMO-AnswerBench

  #6·Ashutosh0x opened Feb 12, 2026·

  ·
  1

  1

• Add Python data loading library for IMO Bench datasets with testing

  #5·tryh4rd-26 opened Feb 6, 2026·

  ·
  2

• Add prompt template for proof autograder and answer autograder

  #3·StevenShi-23 opened Dec 1, 2025·

  ·