Open source researchers at Princeton, Stanford and Huawei are working on efficient theorem proving using neural networks
The benchmarks to follow are
Papers with Code - miniF2F-test Benchmark (Automated Theorem Proving)
The current state-of-the-art on miniF2F-test is ProofAug. See a full comparison of 28 papers with code.paperswithcode.com
