Login / Signup

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Zhangir AzerbayevBartosz PiotrowskiHailey SchoelkopfEdward W. AyersDragomir RadevJeremy Avigad
Published in: CoRR (2023)
Keyphrases
  • computer science
  • upper level
  • artificial intelligence
  • digital libraries
  • higher level
  • similarity measure
  • multiresolution
  • hidden markov models