GFLean: An Autoformalisation Framework for Lean via GF.

Shashank Pathak

Published in: CoRR (2024)

Keyphrases

main contribution
wide range
learning algorithm
expert systems
data sets
artificial intelligence
search engine
image processing
image sequences
multi agent systems
lightweight