- Generative Language Modeling for Automated Theorem Proving
2020/09/07 by Stanislas Polu, Ilya Sutskever, Polu, Stanislas +1 · 4 voices · 106 citations
Computer Science · Mathematics · #Artificial intelligence #Automated proof checking #Automated reasoning #Automated theorem proving #Calculus (dental) #Computer science #Computer-assisted proof #Generative grammar #Mathematical proof #Mathematics #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Natural language processing #Programming language #Proof assistant #Theoretical computer science #Topic Modeling #Transformer #cs.AI #cs.CL #cs.LG #stat.ML
- A New Constructive Proof of the Malgrange-Ehrenpreis Theorem
2009/05/01 by Peter Wagner · 1 citation
Mathematics · Medicine · #History and Theory of Mathematics #Constructive proof #Constructive #Calculus (dental) #Computer-assisted proof #Proof of concept #Mathematics #Computer science #Discrete mathematics #Programming language #Automated theorem proving #Medicine