Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]
-
Updated
Jun 11, 2025 - Python
Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]
This is an open-source repository for the system DynEx: Structured Design Exploration for AI Code Synthesis (CHI 2025, best paper honorable mention). Paper: https://arxiv.org/abs/2410.00400
Add a description, image, and links to the code-synthesis topic page so that developers can more easily learn about it.
To associate your repository with the code-synthesis topic, visit your repo's landing page and select "manage topics."