ResearchTrend.AI
MizAR 40 for Mizar 40

MizAR 40 for Mizar 40

C. Kaliszyk
Josef Urban
ArXivPDFHTML

Papers citing "MizAR 40 for Mizar 40"

7 / 7 papers shown
Title
Machine Learner for Automated Reasoning 0.4 and 0.5
Machine Learner for Automated Reasoning 0.4 and 0.5
C. Kaliszyk
Josef Urban
J. Vyskočil
LRM
53
23
0
11 Feb 2014
HOL(y)Hammer: Online ATP Service for HOL Light
HOL(y)Hammer: Online ATP Service for HOL Light
C. Kaliszyk
Josef Urban
70
94
0
19 Sep 2013
BliStr: The Blind Strategymaker
BliStr: The Blind Strategymaker
Josef Urban
50
65
0
12 Jan 2013
Learning-Assisted Automated Reasoning with Flyspeck
Learning-Assisted Automated Reasoning with Flyspeck
C. Kaliszyk
Josef Urban
LRM
68
162
0
29 Nov 2012
Theorem Proving in Large Formal Mathematics as an Emerging AI Field
Theorem Proving in Large Formal Mathematics as an Emerging AI Field
Josef Urban
J. Vyskočil
AIMat
44
30
0
18 Sep 2012
ATP and Presentation Service for Mizar Formalizations
ATP and Presentation Service for Mizar Formalizations
Josef Urban
P. Rudnicki
G. Sutcliffe
LRM
44
66
0
03 Sep 2011
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Jesse Alama
Tom Heskes
D. Kühlwein
Evgeni Tsivtsivadze
Josef Urban
LRM
79
146
0
17 Aug 2011

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.