Login / Signup
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.
Son Ho
Oskar Abrahamsson
Ramana Kumar
Magnus O. Myreen
Yong Kiam Tan
Michael Norrish
Published in:
IJCAR (2018)
Keyphrases
</>
theorem prover
high quality
state space
theorem proving
input output
natural deduction
bayesian networks
data sets
reinforcement learning
data transfer
formal methods
storage systems