Login / Signup
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
S. Akshay
Supratik Chakraborty
Amir Kafshdar Goharshady
R. Govind
Harshit J. Motwani
Sai Teja Varanasi
Published in:
LPAR (2024)
Keyphrases
</>
decision lists
threshold functions
decision trees
low degree
term dnf
attribute efficient learning
concept classes
agnostic learning
sample complexity
pac learning
theoretical analysis
classification models
boolean functions
cross validation
supervised learning
upper bound
training data