Logic & Formal Reasoning
G2SAT: Learning to Generate SAT Formulas
Jiaxuan You, Haoze Wu, Clark Barrett, Raghuram Ramanujan, Jure Leskovec
In this work, wepresent G2SAT,thefirst deep generativeframework that learns to generate SAT formulas from a given set of input formulas.
Learning Pipelines with Limited Data and Domain Knowledge: A Study in Parsing Physics Problems
Mrinmaya Sachan, Kumar Avinava Dubey, Tom M. Mitchell, Dan Roth, Eric P. Xing
Neural Information Processing Systems http://nips.cc/
Learning Task Specifications from Demonstrations
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit Seshia
Neural Information Processing Systems http://nips.cc/
Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
Neural Information Processing Systems http://nips.cc/
Reinforcement Learning of Theorem Proving
Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olšák
In practice, today's best ATP system are however still far weaker than trained mathematicians in most research domains. Machine learning from many proofs could be used to improveonthis.
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia 1 David Broman 4 Nick Haber 1,3 Noah D. Goodman
How did humanity coax mathematics from the æther?