Paper

LYNX: Analytical Program Synthesis via Grounding and Closed-Loop Refinement · ByteTrail