Structured learning modulo theories (Q511777)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Structured learning modulo theories |
scientific article; zbMATH DE number 6687952
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Structured learning modulo theories |
scientific article; zbMATH DE number 6687952 |
Statements
Structured learning modulo theories (English)
0 references
22 February 2017
0 references
satisfiability modulo theory
0 references
structured-output support vector machines
0 references
optimization modulo theory
0 references
constructive machine learning
0 references
learning with constraints
0 references
0 references
0 references
0.8229067921638489
0 references
0.714457094669342
0 references
0.6639198660850525
0 references
0.6605437397956848
0 references
0.6577228307723999
0 references
