Cite
Notes
Only stored in your browser.
Attribution
OProver: A Unified Framework for Agentic Formal Theorem Proving
arXiv 2026
TurtleBench: Evaluating Top Language Models via Real-World Yes/No Puzzles
arXiv 2024
from 2 papers
David Ma
Enduo Zhao
Gavin Cheung
Hanyu Wang
Jiaheng Liu
Jiajun Shi
Kaijing Ma
Ke Fang
Qingchen Yu
Shawn Guo