Login / Signup

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description.

Cezary KaliszykJosef UrbanJirí VyskocilHerman Geuvers
Published in: CICM (2014)
Keyphrases
  • empirical studies
  • data sets
  • significant improvement
  • learning algorithm
  • knowledge base
  • preprocessing
  • computational cost
  • software development
  • classification method
  • computationally expensive