
arxiv.org/abs/2407.11214
Preview meta tags from the arxiv.org website.
Linked Hostnames
26- 33 links toarxiv.org
- 12 links toinfo.arxiv.org
- 2 links tohuggingface.co
- 2 links tosubscribe.sorryapp.com
- 1 link toalphaxiv.org
- 1 link toapi.semanticscholar.org
- 1 link tocore.ac.uk
- 1 link todagshub.com
Thumbnail

Search Engine Appearance
https://arxiv.org/abs/2407.11214
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
Abstract page for arXiv paper 2407.11214: PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
Bing
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
https://arxiv.org/abs/2407.11214
Abstract page for arXiv paper 2407.11214: PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
DuckDuckGo

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
Abstract page for arXiv paper 2407.11214: PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
General Meta Tags
23- title[2407.11214] PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
- titleopen search
- titleopen navigation menu
- titlecontact arXiv
- titlesubscribe to arXiv mailings
Open Graph Meta Tags
10- og:typewebsite
- og:site_namearXiv.org
- og:titlePutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
- og:urlhttps://arxiv.org/abs/2407.11214v2
- og:image/static/browse/0.3.4/images/arxiv-logo-fb.png
Twitter Meta Tags
6- twitter:site@arxiv
- twitter:cardsummary
- twitter:titlePutnamBench: Evaluating Neural Theorem-Provers on the Putnam...
- twitter:descriptionWe present PutnamBench, a new multi-language benchmark for evaluating the ability of neural theorem-provers to solve competition mathematics problems. PutnamBench consists of 1692 hand-constructed...
- twitter:imagehttps://static.arxiv.org/icons/twitter/arxiv-logo-twitter-square.png
Link Tags
12- apple-touch-icon/static/browse/0.3.4/images/icons/apple-touch-icon.png
- canonicalhttps://arxiv.org/abs/2407.11214
- icon/static/browse/0.3.4/images/icons/favicon-32x32.png
- icon/static/browse/0.3.4/images/icons/favicon-16x16.png
- manifest/static/browse/0.3.4/images/icons/site.webmanifest
Links
71- http://arxiv.org/licenses/nonexclusive-distrib/1.0
- http://gotit.pub/faq
- http://www.bibsonomy.org/BibtexHandler?requTask=upload&url=https://arxiv.org/abs/2407.11214&description=PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
- https://alphaxiv.org
- https://api.semanticscholar.org/arXiv:2407.11214