2021
DOI: 10.48550/arxiv.2112.00552
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

SaDe: Learning Models that Provably Satisfy Domain Constraints

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(3 citation statements)
references
References 0 publications
0
3
0
Order By: Relevance
“…This paper also relates to the field of constrained machine learning because the syntax of the final model to be used in the system is constrained in a logical form (the product concept is encoded using a logical query in the system). There are approaches that can learn machine learning models under similar syntactic constraints [11]. In our work, however, we use decision trees to implicitly enforce such constraints and extract the model in the constrained form (product concept query) to be encoded in Tunify's system.…”
Section: Related Workmentioning
confidence: 99%
“…This paper also relates to the field of constrained machine learning because the syntax of the final model to be used in the system is constrained in a logical form (the product concept is encoded using a logical query in the system). There are approaches that can learn machine learning models under similar syntactic constraints [11]. In our work, however, we use decision trees to implicitly enforce such constraints and extract the model in the constrained form (product concept query) to be encoded in Tunify's system.…”
Section: Related Workmentioning
confidence: 99%
“…Other work attempts to apply domain knowledge constraints on the learning process in attempt to control the model's learning process [3,12,14,23]. DL2 [12] models logical constraints into the model to capture background knowledge in the form of logical reasoning.…”
Section: Domain Knowledge Constraintsmentioning
confidence: 99%
“…DL2 [12] models logical constraints into the model to capture background knowledge in the form of logical reasoning. Other approaches also attempt to model constraints as domain losses model [23] or a satisfiability problem [14].…”
Section: Domain Knowledge Constraintsmentioning
confidence: 99%