Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle.

Jonas Bayer Marco David Abhik Pal Benedikt Stock

Published in: CICM (2019)

Keyphrases

empirical studies
neural network
information retrieval
experimental study
database
machine learning
similarity measure