Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1609.02664
Cited By
Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers
9 September 2016
Charles Jordan
Lukasz Kaiser
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers"
3 / 3 papers shown
Learning definable hypotheses on trees
International Conference on Database Theory (ICDT), 2019
Émilie Grienenberger
Martin Ritzert
195
7
0
24 Sep 2019
Learning MSO-definable hypotheses on string
Martin Grohe
Christof Löding
Martin Ritzert
206
15
0
27 Aug 2017
Learning first-order definable concepts over structures of small degree
Logic in Computer Science (LICS), 2017
Martin Grohe
Martin Ritzert
212
25
0
19 Jan 2017
1
Page 1 of 1
