Author:Lawrence C. Paulson
Keyphrasesautomated theorem proving, Bayesian optimisation, Heuristic Configuration, premise selection, style guides, Sumo Inference Engine (SInE), tutorials, writing papers. |
| ||||||
Copyright © 2012-2024 easychair.org. All rights reserved. |