Search Machine Learning Repository:
An Instantiation-Based Theorem Prover for First-Order Programming
Authors: Erik Zawadzki, Geoffrey J. Gordon and André Platzer
Conference: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics (AISTATS-11)
authors venues years
Suggest Changes to this paper.
Brought to you by the WUSTL Machine Learning Group. We have open faculty positions (tenured and tenure-track).