BRIDGE: Building Representations In Domain Guided Program Synthesis
BRIDGE: 在领域引导的程序合成中构建表示
机构 * California Institute of Technology(加州理工学院) ; Amazon(亚马逊)
专题命中 代码生成 :program synthesis(title,abstract);分类 cs.LG、cs.PL
AI总结 BRIDGE通过多艺术ifacts程序合成框架提升Lean验证正确性,结合代码、规范和定理证明领域,提高生成效率和正确率。
Comments 41 pages, 10 figures, 3 tables. Preprint