Challenges in compiling Coq.

Published in: PPDP (2016)

Keyphrases

lessons learned
open issues
key issues
neural network
real world
learning algorithm
decision making
web services
three dimensional
objective function
control system
computational challenges
early days