Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs.

Garett Cunningham Razvan C. Bunescu David Juedes

Published in: CoRR (2023)

Keyphrases

mathematical knowledge
source code
computer science
database
school children
neural network
data flow
formal proofs
genetic algorithm
information systems
decision trees
theorem prover
static analysis
computer algebra
concurrent programs