文档首页本页总览文档首页 这里收录研究笔记与论文阅读记录。 论文导读 具身智能 模型 视觉-语言-导航模型 StreamVLN: Streaming Vision-and-Language Navigation via SlowFast Context Modeling 算法 强化学习 Self-Improving Vision-Language-Action Models with Data Generation via Residual RL 系统 强化学习 EBRL: Asynchronous Embodied RL by Multi-Grained Resource Management RL-VLA³: A Flexible and Asynchronous Reinforcement Learning Framework for VLA Training 系统 形式化验证 Anvil: Verifying Liveness of Cluster Management Controllers Smart Casual Verification of the Confidential Consortium Framework Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems Welder: Compositional Liveness Verification of Cluster Control Planes