会员服务
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
Arxiv
0+阅读 · 2月6日
PLLM: Pseudo-Labeling Large Language Models for CAD Program Synthesis
Arxiv
0+阅读 · 2月13日
KAPSO: A Knowledge-grounded framework for Autonomous Program Synthesis and Optimization
Arxiv
0+阅读 · 1月31日
KAPSO: A Knowledge-grounded framework for Autonomous Program Synthesis and Optimization
Arxiv
0+阅读 · 1月29日
Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning
Arxiv
0+阅读 · 1月20日
EnvScaler: Scaling Tool-Interactive Environments for LLM Agent via Programmatic Synthesis
Arxiv
0+阅读 · 1月9日
参考链接
微信扫码咨询专知VIP会员
Top