Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
Open Access
Bibliographic Information
- Title
- Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
- Author
- Charles Jordan, Lukasz Kaiser
Journal
-
- The Computing Research Repository (CoRR)
-
The Computing Research Repository (CoRR) abs/1609.02664 1-30, 2016
- Tweet
Details
-
- CRID
- 1010282256832048911
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN