Declarative Outcome-Conformant Synthesis: Exact, Closed-Form Specification Satisfaction and a Conformance Benchmark Paper • 2606.08736 • Published Jun 7 • 1
