Jiří Vyskočil

Available identifiers

zbMath Open vyskocil.jiriMaRDI QIDQ1687710

List of research outcomes

Publication	Date of Publication	Type
Automating formalization by statistical and semantic parsing of mathematics	2018-01-04	Paper
Lemmatization for Stronger Reasoning in Large Theories	2017-02-27	Paper
System Description: E.T. 0.1	2015-12-02	Paper
Learning to Parse on Aligned Corpora (Rough Diamond)	2015-09-14	Paper
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description	2014-08-07	Paper
Theorem Proving in Large Formal Mathematics as an Emerging AI Field	2013-04-16	Paper
Automated Proof Compression by Invention of New Definitions	2011-01-07	Paper
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance	2008-11-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jiří Vyskočil