Badge
#1598 of 3489 in Artificial Intelligence (All Time)
TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
arXiv

Share your achievement

Are you one of the authors? Share this badge on social media.

Download image

Congratulate the authors

Know the authors? Send them a congratulation.