An Evaluation Benchmark for Autoformalization in Lean4.

Aryan Gulati Devanshu Ladsaria Shubhra Mishra Jasdeep Sidhu Brando Miranda

Published in: CoRR (2024)

Keyphrases

evaluation process
comparative evaluation
real world
quantitative evaluation
evaluation criteria
special case
evaluation framework
evaluation methods
gold standard
evaluation metrics
medical images
database
computer science
high level
image segmentation
case study
genetic algorithm
neural network
real time