Oleg Zabluda's blog
Wednesday, February 21, 2018
 
DeepMath - Deep Sequence Models for Premise Selection (1016) Alex A.
DeepMath - Deep Sequence Models for Premise Selection (1016) Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban
"""
We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics. We propose a two stage approach for this task that yields good results for the premise selection task on the Mizar corpus while avoiding the hand-engineered features of existing state-of-the-art models. To our knowledge, this is the first time deep learning has been applied to theorem proving on a large scale.
"""
https://arxiv.org/abs/1606.04442

https://arxiv.org/abs/1606.04442

Labels:


| |

Home

Powered by Blogger