MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance

@inproceedings{Urban2008MaLAReaSM,
  title={MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance},
  author={Josef Urban and Geoff Sutcliffe and Petr Pudl{\'a}k and Jir{\'i} Vyskocil},
  booktitle={IJCAR},
  year={2008}
}
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 142 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 62 extracted citations

HOL(y)Hammer: Online ATP Service for HOL Light

Mathematics in Computer Science • 2015
View 6 Excerpts
Method Support
Highly Influenced

Learning-assisted theorem proving with millions of lemmas☆

J. Symb. Comput. • 2015
View 5 Excerpts
Highly Influenced

Automated Reasoning Service for HOL Light

MKM/Calculemus/DML • 2013
View 5 Excerpts
Method Support
Highly Influenced

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Journal of Automated Reasoning • 2013
View 7 Excerpts
Method Support
Highly Influenced

Theorem Proving in Large Formal Mathematics as an Emerging AI Field

Automated Reasoning and Mathematics • 2013
View 13 Excerpts
Method Support
Highly Influenced

Machine Learning for Automated Reasoning

View 8 Excerpts
Method Support
Highly Influenced

143 Citations

01020'10'13'16'19
Citations per Year
Semantic Scholar estimates that this publication has 143 citations based on the available data.

See our FAQ for additional information.