An Evaluation Benchmark for Autoformalization in Lean4.

Jasdeep Sidhu Shubhra Mishra Aryan Gulati Devanshu Ladsaria Brando Miranda

Published in: Tiny Papers @ ICLR (2024)

Keyphrases

evaluation methods
real time
cooperative
hidden markov models
evaluation method
real world
learning algorithm
objective function
multiresolution
gold standard
evaluation model