HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jiri Vyskocil

Publications
Improving Statistical Linguistic Algorithms for Parsing Mathematics
Cezary Kaliszyk, Josef Urban and Jiri Vyskocil
In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Machine Learner for Automated Reasoning 0.4 and 0.5
Cezary Kaliszyk, Josef Urban and Jiri Vyskocil
In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning

Keyphrases

ATP Competitions, automated reasoning2, computational linguistics, Flyspeck, formal mathematics, HOL Light, large theories, machine learning, Parsing Mathematics, type checking.

Copyright © 2012-2023 easychair.org. All rights reserved.