activity
20232026
most citedAuditable Algorithms for Approximate Model Counting

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…