TY  - RPRT
TI  - TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
AU  - QuocViet Pham
AU  - Elvir Karimov
AU  - Andrey Galichin
AU  - Ivan Oseledets
PY  - 2026
UR  - https://arxiv.org/abs/2606.09450
ID  - 2606.09450
ER  -