AI RESEARCH
BRIDGE: Building Representations In Domain Guided Program Synthesis
arXiv CS.LG
•
ArXi:2511.21104v3 Announce Type: replace Large language models can generate plausible code, but remain brittle for formal verification in proof assistants such as Lean. A central scalability challenge is that verified synthesis requires consistent artifacts across several coupled domains: executable code, formal specifications, theorem statements, and proof attempts. Existing approaches often treat these artifacts separately. We present BRIDGE, a structured prompting framework for multi-artifact program synthesis.