Loading...
Please wait, while we are loading the content...
Similar Documents
A Survey of Axiom Selection as a Machine Learning Problem
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kühlwein, Daniel Blanchette, Jasmin Christian |
| Copyright Year | 2014 |
| Abstract | Automatic theorem provers struggle to discharge proof obligations of interactive theorem provers. This is partly due to the large number of background facts that are passed to the automatic provers as axioms. Axiom selection algorithms predict the relevance of facts, thereby helping to reduce the search space of automatic provers. This paper presents an introduction to axiom selection as a machine learning problem and describes the challenges that distinguish it from other applications of machine learning. |
| Starting Page | 1 |
| Ending Page | 15 |
| Page Count | 15 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://repository.ubn.ru.nl/bitstream/handle/2066/132733/132733.pdf?sequence=1 |
| Alternate Webpage(s) | http://people.mpi-inf.mpg.de/~jblanche/axiom_sel.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |