نتایج جستجو برای: theorem proving

تعداد نتایج: 162666  

2005
François Bry Rainer Manthey

This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the European ComputerIndustry Research Centre. Note that the bibliography given in this article is not exhaustive.

Journal: :Journal of Logic and Computation 2021

Applying machine learning to mathematical terms and formulas requires a suitable representation of that is adequate for AI methods. In this paper, we develop an encoding allows logical properties be preserved additionally reversible. This means the tree shape formula including all symbols can reconstructed from dense vector representation. We do by training two decoders: one extracts top symbol...

Journal: :Proceedings of the AAAI Conference on Artificial Intelligence 2020

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید