Our great sponsors

Automated theorem proving + neural language models + reinforcement learning.
I think most people seriously underestimate how powerful modern proof assistants like Lean [1] are for building things like provably correct software and chips, as well as verifying math research. But fully formalizing anything big leads to a proliferation of small annoying lemmas  not "difficult" to prove per se, just annoying and timewasting. I'm working on a neural theorem prover that aims to solve these lemmas fully automatically.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
 Good (cheap) textbooks for learning more advanced linear algebra and other math for Data Science?
 An automatic theorem proving project
 Why is Rust the most loved programming language in StackOverflow surveys?
 Proving the Validity of a Proof or Proof Method
 There’s more to mathematics than rigour and proofs