原创力文档伯克利-学习使用形式逻辑和结构化反馈解决长期任务 Learning to Solve Long-Horizon Tasks with Formal Logic and Structured Feedback.pdfVIP
- 1
- 0
- 约42.81万字
- 发布于广东
- 举报
- 文档已下架，其它文档更精彩
LearningtoSolveLong-HorizonTaskswithFormalLogic
andStructuredFeedback
AmeeshShah
ElectricalEngineeringandComputerSciences
UniversityofCalifornia,Berkeley
TechnicalReportNo.UCB/EECS-2026-194
/Pubs/TechRpts/2026/EECS-2026-194.html
May15,2026
Copyright©2026,bytheauthor(s).
Allrightsreserved.
Permissiontomakedigitalorhardcopiesofall
您可能关注的文档
- 伯克利-面向室内环境的语义感知引导无人机探索 Semantic-Aware Guided Drone Exploration for Indoor Environment.pdf
- 伯克利-内存高效的 LLM 推理算法 Memory-Efficient LLM Inference Algorithms.pdf
- 伯克利-评估和改进用于安全和私有部署的自治 AI 代理 Evaluating and Improving Autonomous AI Agents for Secure and Private Deployment.pdf
- 伯克利-潜在隐式视觉推理 Latent Implicit Visual Reasoning.pdf
- 伯克利-社会技术生态系统中的教学：作为工具开发人员和批判性教育促进者的教学助理 Teaching Within a Sociotechnical Ecosystem Teaching Assistants as Tool Developers and Facilitators of Critical Education.pdf
- 伯克利-神经网络控制器的鲁棒性 Robustness of Neural Network Controllers.pdf
- 伯克利-生成式 AI 的安全性、隐私性和出处 Security, Privacy, and Provenance for Generative AI.pdf
- 伯克利-使用 Scery、VerifAI 和 dSPACE 对自主赛车系统进行建模和验证 Modeling and Verification of Autonomous-Racing Systems with Scenic, VerifAI, and dSPACE.pdf
- 伯克利-使用显式 3D 表示和具身编码代理迈向可扩展的机器人学习 Towards Scalable Robot Learning with Explicit 3D Representations and Embodied Coding Agents.pdf
- 伯克利-探索硬件光线追踪系统中的执行一致性 Exploring Execution Coherency in Hardware Ray Tracing Systems.pdf
文档评论（0）