:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Subramanian, Vignesh, Žikelić, Đorđe, Bansal, Suguman
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2606.00840
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Representation Stability in a Minimal Continual Learning Agent
by: Subramanian, Vishnu
Published: (2026)

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

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

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

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

Opinion-Guided Reinforcement Learning
by: Dagenais, Kyanna, et al.
Published: (2024)

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

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

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

VERAFI: Verified Agentic Financial Intelligence through Neurosymbolic Policy Generation
by: Akinfaderin, Adewale, et al.
Published: (2025)

Development and Evaluation of an Ontology for Non-Invasive Respiratory Support in Acute Care
by: Islam, Md Fantacher, et al.
Published: (2025)

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

A Comprehensive Survey on Inverse Constrained Reinforcement Learning: Definitions, Progress and Challenges
by: Liu, Guiliang, et al.
Published: (2024)

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

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

SuperDP: Differential Privacy Refutation via Supermartingales
by: Chatterjee, Krishnendu, et al.
Published: (2026)

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

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