Declarative Outcome-Conformant Synthesis: Exact, Closed-Form Specification Satisfaction and a Conformance Benchmark
Paper • 2606.08736 • Published • 1
👋 Open to Work
Muhammed Rasin O M
rasinmuhammed
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 8 hours ago
misatadata/pepperwind updated a dataset 2 days ago
rasinmuhammed/retail-sql-evaluation-rotated published a dataset 2 days ago
rasinmuhammed/retail-sql-evaluation-rotatedOrganizations
upvoted a paper 4 months ago