Back to Results
First PageMeta Content
Automated theorem proving / Mathematical proof / Proof assistant / Logic programming / Coq / Mathematical logic / Formal methods / Proof / Automated reasoning / Logic / Mathematics / Theoretical computer science


A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya
Add to Reading List

Document Date: 2013-10-30 13:19:51

Open Document

File Size: 232,87 KB

Share Result on Facebook

City

Edinburgh / /

Company

sy s A / MIT Press / D. M. Neural-Symbolic Learning Systems / /

Country

United Kingdom / Scotland / /

/

Facility

United Kingdom Alan Bundy University of Edinburgh / United Kingdom Ekaterina Komendantskaya University of Dundee / Gudmund Grov University of Edinburgh / University of Edinburgh / /

IndustryTerm

large systems / industrial sized software / hardware systems / statistical tools / actual proof search / akin neural networks / ggrov@staffmail.ed.ac.uk katya@computing.dundee.ac.uk bundy@staffmail.ed.ac.uk / multi-layer neural networks / back-propagation algorithm / search control knowledge / machine learning tools / interactive proof-search / tactic applications / computing / described tools / machine-learning tools / proof search / pre-processing / done using multi-layer neural networks / /

NaturalFeature

Dale Miller / /

Organization

Technische Universitat Munich / United Kingdom Ekaterina Komendantskaya University of Dundee / MIT / University of Edinburgh / /

Position

author / programmer / /

Technology

artificial intelligence / back-propagation algorithm / Data Mining / machine learning / /

URL

http /

SocialTag