Login / Signup

Introducing HOL Zero - (Extended Abstract).

Mark Adams
Published in: ICMS (2010)
Keyphrases
  • extended abstract
  • theorem prover
  • formal methods
  • search algorithm
  • supervised learning
  • higher order logic
  • machine learning
  • probabilistic model
  • genetic programming
  • theorem proving