Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
オープンアクセス
書誌事項
- タイトル
- Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
- 著者
- Charles Jordan, Lukasz Kaiser
収録刊行物
-
- The Computing Research Repository (CoRR)
-
The Computing Research Repository (CoRR) abs/1609.02664 1-30, 2016