Hacker News
- Generative Language Modeling for Automated Theorem Proving https://arxiv.org/abs/2009.03393 28 comments
Linking pages
- Simulators :: — Moire https://generative.ink/posts/simulators/ 7 comments
- GitHub - NeuralCoder3/transpilation: A summary of ideas about transpilation -- work in progress https://github.com/NeuralCoder3/transpilation 1 comment
- OpenAI ‘GPT-f’ Delivers SOTA Performance in Automated Mathematical Theorem Proving | Synced https://syncedreview.com/2020/09/10/openai-gpt-f-delivers-sota-performance-in-automated-mathematical-theorem-proving/ 0 comments
- GitHub - tomohideshibata/BERT-related-papers: BERT-related papers https://github.com/tomohideshibata/BERT-related-papers 0 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [2009.03393] Generative Language Modeling for Automated Theorem Proving
See how to search.