Search Results for author: Marc Pierre

Found 1 papers, 0 papers with code

Date Published Github Stars

The Mathematical Game

no code implementations • 22 Sep 2023 • Marc Pierre, Quentin Cohen-Solal, Tristan Cazenave

Monte Carlo Tree Search can be used for automated theorem proving.

Automated Theorem Proving

 
Paper
Add Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy