Cite
Notes
Only stored in your browser.
Attribution
SciArena: An Open Evaluation Platform for Foundation Models in Scientific Literature Tasks
arXiv 2025
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
from 2 papers
Arman Cohan
Charles McGrady
Chen Zhao
Chun Cao
Doug Downey
Hannaneh Hajishirzi
professor
Jesse Dodge
Jiakun Zhang
Jiarui Zhang
Jingwei Xu