Article Details
Retrieved on: 2022-02-03 07:43:35
Tags for this article:
Click the tags to see associated articles and topics
Excerpt
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from ...
Article found on: openai.com
This article is found inside other hiswai user's workspaces. To start your own collection, sign up for free.
Sign UpAlready have an account? Log in here