Výsledky vyhledávání

Machine Learning for Automated Reasoning

Autor: Kühlwein, D.

Contains fulltext : 135136.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 14 april 2014 Promotores : Heskes, T.M., Geuvers, J.H. Co-promotor : Urban, J. 129 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::80d60568f039ca5edc5442229434e31a
http://hdl.handle.net/2066/135136

Zobrazit plný text záznamu

A Survey of Axiom Selection as a Machine Learning Problem

Autor: Kühlwein, D., Blanchette, J.C., Geschke, S.

Publikováno v: Geschke, S. (ed.), Infinity, Computability and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, pp. 1-15
Geschke, S. (ed.), Infinity, Computability and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 1-15. S.l. : College Publications
STARTPAGE=1;ENDPAGE=15;TITLE=Geschke, S. (ed.), Infinity, Computability and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch

Contains fulltext : 132733.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7a07acc1bee0bb13c88c5358730f2482
https://hdl.handle.net/2066/132733

Zobrazit plný text záznamu

MaSh: Machine Learning for Sledgehammer

Autor: Kühlwein, D., Blanchette, J., Kaliszyk, C., Urban, J., Blazy, S., Paulin-Mohring, C., Pichardie, D.

Publikováno v: Interactive Theorem Proving ISBN: 9783642396335
ITP
Lecture Notes in Computer Science ; 7998, 35-50. Berlin : Springer
STARTPAGE=35;ENDPAGE=50;TITLE=Lecture Notes in Computer Science ; 7998
Blazy, S.; Paulin-Mohring, C.; Pichardie, D. (ed.), Interactive Theorem Proving, pp. 35-50

Sledgehammer integrates automatic theorem provers in the proof assistant Isabelle/HOL. A key component, the relevance filter, heuristically ranks the thousands of facts available and selects a subset, based on syntactic similarity to the current goal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f3b115741cf1fbf0622c7bf9eef5838
https://doi.org/10.1007/978-3-642-39634-2_6

Zobrazit plný text záznamu

E-MaLeS 1.1

Autor: Kühlwein, D., Schulz, S., Urban, J., Bonacina, M.

Publikováno v: Lecture Notes in Computer Science ; 7898, 407-413. Berlin : Springer
STARTPAGE=407;ENDPAGE=413;TITLE=Lecture Notes in Computer Science ; 7898

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::ebdfb7451d6ad8a53d52e76ea2b3db11
http://hdl.handle.net/2066/116960

Zobrazit plný text záznamu

Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics

Autor: Kühlwein, D., Laarhoven, T.M. van, Tsivtsivadze, E., Urban, J., Heskes, T., Gramlich, B., Miller, D., Sattler, U.

Publikováno v: Lecture Notes in Computer Science ; 7364, 378-392. Berlin : Springer
STARTPAGE=378;ENDPAGE=392;TITLE=Lecture Notes in Computer Science ; 7364
Gramlich, B.; Miller, D.; Sattler, U. (ed.), Automated Reasoning, pp. 378-392
Automated Reasoning ISBN: 9783642313646
IJCAR

In this paper, an overview of state-of-the-art techniques for premise selection in large theory mathematics is provided, and new premise selection techniques are introduced. Several evaluation metrics are introduced, compared and their appropriatenes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f948fec80491c3e02335cb3c6a45ef1
http://hdl.handle.net/2066/103601

Zobrazit plný text záznamu

Learning from multiple proofs : first experiments

Autor: Kühlwein, D., Urban, J., Fontaine, P.

Publikováno v: Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester, 82-94. [S.l.] : [S.n.]
STARTPAGE=82;ENDPAGE=94;TITLE=Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester
Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester, pp. 82-94

Contains fulltext : 103475.pdf (Publisher’s version ) (Open Access) PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a906fe8b537fccbdea3038945a232e5
http://hdl.handle.net/2066/103475

Zobrazit plný text záznamu

Multi-Output Ranking for Automated Reasoning

Autor: Kühlwein, D., Urban, J., Tsivtsivadze, E., Geuvers, H., Tom Heskes

Publikováno v: KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, pp. 42-51
Scopus-Elsevier
KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, 42-51. s.n. : SciTePress
STARTPAGE=42;ENDPAGE=51;TITLE=KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval

Contains fulltext : 92097.pdf (Author’s version preprint ) (Open Access) International Conference on Knowledge Discovery and Information Retrieval (KDIR2011), Paris, France, 26 – 29 October, 2011

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8e0a4217ec052c097c5492750daecda9
https://hdl.handle.net/2066/92097

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání