3 papers
cs.LO2025
The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
Brendan Juba, Kuldeep S. Meel
Given a Boolean relational specification between inputs and outputs, the problem of functional synthesis is to construct a function that maps each assignment of the input to an ass…
cs.LG2025
Personalized Prediction By Learning Halfspace Reference Classes Under Well-Behaved Distribution
Jizhou Huang, Brendan Juba
In machine learning applications, predictive models are trained to serve future queries across the entire data distribution. Real-world data often demands excessively complex model…
cs.LG2025
Distribution-Specific Agnostic Conditional Classification With Halfspaces
Jizhou Huang, Brendan Juba
We study ``selective'' or ``conditional'' classification problems under an agnostic setting. Classification tasks commonly focus on modeling the relationship between features and c…