PlatoLTL: Scaling LTL-Guided Multi-Task RL

arXiv:2601.22891 · cs.LG · Submitted 2026-01-30 · Read on arXiv

cs.LG

Submitted: 2026-01-30

Updated: 2026-10-05

Terminology

• Generalization — 3× in this paper · explained in 13 episodes
• Linear Temporal Logic (LTL) — 1× in this paper · explained in 4 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Reinforcement Learning (RL) — 1× in this paper · explained in 25 episodes
• Zero-Shot Generalization — 1× in this paper · explained in 5 episodes

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: The Predictive Cost of ELBO Binding
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks