research
∙
11/29/2016
Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving
We study methods for automated parsing of informal mathematical expressi...
share
research
∙
10/20/2014
Certified Connection Tableaux Proofs for HOL Light and TPTP
In the recent years, the Metis prover based on ordered paramodulation an...
research
∙
05/14/2014
Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description
The goal of this project is to (i) accumulate annotated informal/formal ...
research
∙
02/11/2014
Machine Learner for Automated Reasoning 0.4 and 0.5
Machine Learner for Automated Reasoning (MaLARea) is a learning and reas...
research
∙
09/18/2012