FormalMATH-Bench
Python
★ 75
updated 7mo ago
Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models>
No plain-English explanation yet — one is being written right now. Check back in a minute.