Login / Signup
Model-guided synthesis of inductive lemmas for FOL with least fixpoints.
Adithya Murali
Lucas Peña
Eion Blanchard
Christof Löding
P. Madhusudan
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
computational model
neural network
social networks
statistical model
cost function
mathematical model
real time
machine learning
reinforcement learning
expert systems
evolutionary algorithm
knowledge representation