Copertina

Certificate-Guided Evaluation of Reinforcement Learning Generalization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Subramanian, Vignesh, Žikelić, Đorđe, Bansal, Suguman
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Decoupled Behavioral Cloning for Scalable Inductive Generalization in RL from Specifications
di: Subramanian, Vignesh, et al.
Pubblicazione: (2026)

Inductive Generalization in Reinforcement Learning from Specifications
di: Subramanian, Vignesh, et al.
Pubblicazione: (2024)

Neural Control and Certificate Repair via Runtime Monitoring
di: Yu, Emily, et al.
Pubblicazione: (2024)

Automating the Refinement of Reinforcement Learning Specifications
di: Ambadkar, Tanmay, et al.
Pubblicazione: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)

Solving Long-run Average Reward Robust MDPs via Stochastic Games
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2023)

Predictive Monitoring of Black-Box Dynamical Systems
di: Henzinger, Thomas A., et al.
Pubblicazione: (2024)

Automated Approach for Solving Infinite-state Polynomial Reachability Games
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Causally-Guided Automated Feature Engineering with Multi-Agent Reinforcement Learning
di: Malarkkan, Arun Vignesh, et al.
Pubblicazione: (2026)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Probabilistic Constraint for Safety-Critical Reinforcement Learning
di: Chen, Weiqin, et al.
Pubblicazione: (2023)

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
di: Parsert, Julian, et al.
Pubblicazione: (2023)

Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
di: Palasamudram, Amogh, et al.
Pubblicazione: (2026)

Modular Techniques for Synthetic Long-Context Data Generation in Language Model Training and Evaluation
di: Subramanian, Seganrasan, et al.
Pubblicazione: (2025)

Certificate-Guided Pruning for Stochastic Lipschitz Optimization
di: Shihab, Ibne Farabi, et al.
Pubblicazione: (2026)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
di: Bansal, Suguman, et al.
Pubblicazione: (2025)

SUPERNOVA: Eliciting General Reasoning in LLMs with Reinforcement Learning on Natural Instructions
di: Suvarna, Ashima, et al.
Pubblicazione: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

Guiding Diffusion Models with Reinforcement Learning for Stable Molecule Generation
di: Zhou, Zhijian, et al.
Pubblicazione: (2025)

Representation Stability in a Minimal Continual Learning Agent
di: Subramanian, Vishnu
Pubblicazione: (2026)

A Survey on Data-Centric AI: Tabular Learning from Reinforcement Learning and Generative AI Perspective
di: Ying, Wangyang, et al.
Pubblicazione: (2025)

A Testable Certificate for Constant Collapse in Teacher-Guided VAEs
di: Zhang, Zegu, et al.
Pubblicazione: (2026)

Enhancing Reinforcement Learning Through Guided Search
di: Arjonilla, Jérôme, et al.
Pubblicazione: (2024)

Opinion-Guided Reinforcement Learning
di: Dagenais, Kyanna, et al.
Pubblicazione: (2024)

Reinforcement Learning-Guided Chain-of-Draft for Token-Efficient Code Generation
di: Tang, Xunzhu, et al.
Pubblicazione: (2025)

DeGuV: Depth-Guided Visual Reinforcement Learning for Generalization and Interpretability in Manipulation
di: Pham, Tien, et al.
Pubblicazione: (2025)

A Comparative Evaluation of Teacher-Guided Reinforcement Learning Techniques for Autonomous Cyber Operations
di: Tholl, Konur, et al.
Pubblicazione: (2025)

Reinforcement Learning-Guided Semi-Supervised Learning
di: Heidari, Marzi, et al.
Pubblicazione: (2024)

Contradiction Detection in RAG Systems: Evaluating LLMs as Context Validators for Improved Information Consistency
di: Gokul, Vignesh, et al.
Pubblicazione: (2025)

Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning
di: Wang, Ning, et al.
Pubblicazione: (2024)

Reinforcement Learning by Guided Safe Exploration
di: Yang, Qisong, et al.
Pubblicazione: (2023)

Plan-and-Write: Structure-Guided Length Control for LLMs without Model Retraining
di: Akinfaderin, Adewale, et al.
Pubblicazione: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
di: Akshay, S., et al.
Pubblicazione: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

Learning from Less: Guiding Deep Reinforcement Learning with Differentiable Symbolic Planning
di: Ye, Zihan, et al.
Pubblicazione: (2025)

CyberCertBench: Evaluating LLMs in Cybersecurity Certification Knowledge
di: Keppler, Gustav, et al.
Pubblicazione: (2026)

Operator-Guided Invariance Learning for Continuous Reinforcement Learning
di: Zhang, Zuyuan, et al.
Pubblicazione: (2026)

Symmetry-Guided Multi-Agent Inverse Reinforcement Learning
di: Tian, Yongkai, et al.
Pubblicazione: (2025)

Textual Explanations and Their Evaluations for Reinforcement Learning Policy
di: Terra, Ahmad, et al.
Pubblicazione: (2026)