Improving Stateful Premise Selection with Transformers
暂无分享,去创建一个
Jürgen Schmidhuber | Michael Wand | J. Schmidhuber | Krsto Prorokovic | Michael Wand | Krsto Prorokovic
[1] Cezary Kaliszyk,et al. A Survey of Languages for Formalizing Mathematics , 2020, CICM.
[2] Josef Urban,et al. ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback , 2018, IJCAR.
[3] Cezary Kaliszyk,et al. MizAR 40 for Mizar 40 , 2013, Journal of Automated Reasoning.
[4] Cezary Kaliszyk,et al. Learning-Assisted Automated Reasoning with Flyspeck , 2012, Journal of Automated Reasoning.
[5] Andrei Voronkov,et al. Sine Qua Non for Large Theory Reasoning , 2011, CADE.
[6] Geoff Sutcliffe,et al. The TPTP World - Infrastructure for Automated Reasoning , 2010, LPAR.
[7] Christoph Weidenbach,et al. Logic for Programming, Artificial Intelligence, and Reasoning , 2010, Lecture Notes in Computer Science.
[8] Lawrence C. Paulson,et al. Lightweight relevance filtering for machine-generated resolution problems , 2009, J. Appl. Log..
[9] Jürgen Schmidhuber,et al. Long Short-Term Memory , 1997, Neural Computation.
[10] J. Schmidhuber. Reducing the Ratio Between Learning Complexity and Number of Time Varying Variables in Fully Recurrent Nets , 1993 .