会员服务
Prospective Compression in Human Abstraction Learning
Arxiv
0+阅读 · 5月11日
Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
Arxiv
0+阅读 · 5月22日
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Arxiv
0+阅读 · 4月14日
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Arxiv
0+阅读 · 4月16日
Can LLMs Perform Synthesis?
Arxiv
0+阅读 · 3月13日
Visual Set Program Synthesizer
Arxiv
0+阅读 · 3月16日
Scientific Graphics Program Synthesis via Dual Self-Consistency Reinforcement Learning
Arxiv
0+阅读 · 4月7日
Tensor Network Structure Search with Program Synthesis
Arxiv
0+阅读 · 3月20日
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