论文信息 - Curriculum Learning and Theorem Proving - 字舞流文

Curriculum Learning and Theorem Proving

Henryk Michalewski | C. Kaliszyk | J. Urban | Zsolt Zombori | Adrián Csiszárik

[1] Josef Urban,et al. MaLeCoP Machine Learning Connection Prover , 2011, TABLEAUX.

[2] Cezary Kaliszyk,et al. Certified Connection Tableaux Proofs for HOL Light and TPTP , 2014, CPP.

[3] Cezary Kaliszyk,et al. FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover , 2015, LPAR.

[4] Josef Urban,et al. ENIGMA: Efficient Learning-Based Inference Guiding Machine , 2017, CICM.

[5] Alec Radford,et al. Proximal Policy Optimization Algorithms , 2017, ArXiv.

[6] Cezary Kaliszyk,et al. Reinforcement Learning of Theorem Proving , 2018, NeurIPS.