Summary of Formal Theorem Proving by Rewarding Llms to Decompose Proofs Hierarchically, By Kefan Dong et al.
Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchicallyby Kefan Dong, Arvind Mahankali, Tengyu…
Summary of Gitsr: Graph Interaction Transformer-based Scene Representation For Multi Vehicle Collaborative Decision-making, by Xingyu Hu et al.
GITSR: Graph Interaction Transformer-based Scene Representation for Multi Vehicle Collaborative Decision-makingby Xingyu Hu, Lijun Zhang,…
Summary of Diversity Progress For Goal Selection in Discriminability-motivated Rl, by Erik M. Lintunen et al.
Diversity Progress for Goal Selection in Discriminability-Motivated RLby Erik M. Lintunen, Nadia M. Ady, Christian…
Summary of Exploring the Edges Of Latent State Clusters For Goal-conditioned Reinforcement Learning, by Yuanlin Duan et al.
Exploring the Edges of Latent State Clusters for Goal-Conditioned Reinforcement Learningby Yuanlin Duan, Guofeng Cui,…
Summary of Learning Hidden Subgoals Under Temporal Ordering Constraints in Reinforcement Learning, by Duo Xu et al.
Learning Hidden Subgoals under Temporal Ordering Constraints in Reinforcement Learningby Duo Xu, Faramarz FekriFirst submitted…
Summary of Two-timescale Model Caching and Resource Allocation For Edge-enabled Ai-generated Content Services, by Zhang Liu et al.
Two-Timescale Model Caching and Resource Allocation for Edge-Enabled AI-Generated Content Servicesby Zhang Liu, Hongyang Du,…
Summary of Task-aware Harmony Multi-task Decision Transformer For Offline Reinforcement Learning, by Ziqing Fan et al.
Task-Aware Harmony Multi-Task Decision Transformer for Offline Reinforcement Learningby Ziqing Fan, Shengchao Hu, Yuhang Zhou,…
Summary of Prompt Tuning with Diffusion For Few-shot Pre-trained Policy Generalization, by Shengchao Hu et al.
Prompt Tuning with Diffusion for Few-Shot Pre-trained Policy Generalizationby Shengchao Hu, Wanru Zhao, Weixiong Lin,…
Summary of Birdie: Advancing State Space Models with Reward-driven Objectives and Curricula, by Sam Blouir et al.
Birdie: Advancing State Space Models with Reward-Driven Objectives and Curriculaby Sam Blouir, Jimmy T.H. Smith,…
Summary of Mechanistic Interpretability Of Reinforcement Learning Agents, by Tristan Trim et al.
Mechanistic Interpretability of Reinforcement Learning Agentsby Tristan Trim, Triston GraystonFirst submitted to arxiv on: 30…