Process-Driven Autoformalization in Lean 4.

Jianqiao Lu Zhengying Liu Yingjia Wan Yinya Huang Haiming Wang Zhicheng Yang Jing Tang Zhijiang Guo

Published in: CoRR (2024)

Keyphrases

data driven
information systems
real time
neural network
real world
data mining
learning algorithm
feature extraction
association rules
special case
development process