Repository Issues
vEnhance/PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Issue
このリポジトリには open の索引済み Issue がありません。
Repository Issues
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
このリポジトリには open の索引済み Issue がありません。
Repository Issues
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
このリポジトリには open の索引済み Issue がありません。