原创力文档伯克利-综合可执行规范以改进 AI 编程代理 Synthesizing Executable Specifications to Improve AI Programming Agents.pdfVIP
- 1
- 0
- 约44.64万字
- 发布于广东
- 举报
- 文档已下架，其它文档更精彩
SynthesizingExecutableSpecificationstoImproveAI
ProgrammingAgents
NamanJain
ElectricalEngineeringandComputerSciences
UniversityofCalifornia,Berkeley
TechnicalReportNo.UCB/EECS-2026-158
/Pubs/TechRpts/2026/EECS-2026-158.html
May15,2026
Copyright©2026,bytheauthor(s).
Allrightsreserved.
Permissiontomakedigitalorhardcopiesofallorpartofthiswork
您可能关注的文档
- 伯克利-通过玩随机玩具学习掌握任何东西 Learning to Grasp Anything by Playing with Random Toys.pdf
- 伯克利-通过语言模型进行用户模拟 User Simulation via Language Models.pdf
- 伯克利-统计推理和机器学习中的抽样 Sampling in Statistical Inference and Machine Learning.pdf
- 伯克利-现代数据分析中的隐私和适应性注意事项 Privacy and Adaptivity Considerations in Modern Data Analysis.pdf
- 伯克利-芯片串行中的时钟到数据通道纠偏 Clock to Data Lane Deskew in Chiplet SerDes.pdf
- 伯克利-学习使用形式逻辑和结构化反馈解决长期任务 Learning to Solve Long-Horizon Tasks with Formal Logic and Structured Feedback.pdf
- 伯克利-学习硬件探索者：通过机器学习实现全面的设计空间探索 Learned Hardware Explorers Enabling Comprehensive Design Space Exploration with Machine Learning.pdf
- 伯克利-训练大语言模型智能体赋能人类 Training LLM Agents to Empower Humans.pdf
- 伯克利-一次看到 100 亿像素的视觉模型 Vision Models That See 10 Billion Pixels at Once.pdf
- 伯克利-用于电力运输的功率密集 DC-DC 转换器：设计优化和实用考虑 Power Dense DC-DC Converters for Electric Transportation Design Optimization and Practical Considerations.pdf
文档评论（0）