A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Machine Learner for Automated Reasoning 0.4 and 0.5
unpublished
Preserved Fulltext
Machine Learner for Automated Reasoning (MaLARea) is a learning andreasoning system for proving in large formal libraries wherethousands of theorems are available when attacking a newconjecture, and a large number of related problems and proofs can be used tolearn specific theorem-proving knowledge. The last version of thesystem has by a large margin won the 2013 CASC LTB competition. Thispaper describes the motivation behind the methods used in MaLARea,discusses the general approach and the
doi:10.29007/shxj
fatcat:6gfo54pzfvewdkm2yoz7enndtu