Improving Autoformalization using Type Checking.

Auguste Poiroux Gail Weiss Viktor Kuncak Antoine Bosselut

Published in: CoRR (2024)

Keyphrases

type checking
data types
query processor
database management systems
database query languages
data structure
general purpose
data mining techniques
integrity constraints
relational calculus