2 papers
cs.PL2026
Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
S. Akshay, Supratik Chakraborty, R. Govind +1
We study the problem of synthesizing programs from nonlinear real arithmetic (NRA) specifications. Existing techniques, such as syntax-guided synthesis (SyGuS), fail to synthesize…
cs.LG2025
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Aniruddha Joshi, Supratik Chakraborty, S Akshay +3
Creating meaningful interpretations for black-box machine learning models involves balancing two often conflicting objectives: accuracy and explainability. Exploring the trade-off…