:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	An, Ziyan, Wang, Xia, Baier, Hendrik, Chen, Zirong, Dubey, Abhishek, Johnson, Taylor T., Sprinkle, Jonathan, Mukhopadhyay, Ayan, Ma, Meiyi
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.00610
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
by: An, Ziyan, et al.
Published: (2024)

Formal Logic Enabled Personalized Federated Learning Through Property Inference
by: An, Ziyan, et al.
Published: (2024)

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
by: Chen, Zirong, et al.
Published: (2025)

Decision Making in Non-Stationary Environments with Policy-Augmented Search
by: Pettet, Ava, et al.
Published: (2024)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
by: Nguyen, Dung Thuy, et al.
Published: (2024)

PACE: A Personalized Adaptive Curriculum Engine for 9-1-1 Call-taker Training
by: Chen, Zirong, et al.
Published: (2026)

Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes
by: Luo, Baiting, et al.
Published: (2024)

Observation Adaptation via Annealed Importance Resampling for Partially Observable Markov Decision Processes
by: Zhang, Yunuo, et al.
Published: (2025)

Dynamic Vehicle Routing Problem with Prompt Confirmation of Advance Requests
by: Sivagnanam, Amutheezan, et al.
Published: (2026)

ESCORT: Efficient Stein-variational and Sliced Consistency-Optimized Temporal Belief Representation for POMDPs
by: Zhang, Yunuo, et al.
Published: (2025)

Scalable Decision-Making in Stochastic Environments through Learned Temporal Abstraction
by: Luo, Baiting, et al.
Published: (2025)

In-Context Planning with Latent Temporal Abstractions
by: Luo, Baiting, et al.
Published: (2026)

Auto311: A Confidence-guided Automated System for Non-emergency Calls
by: Chen, Zirong, et al.
Published: (2023)

Learning with Preserving for Continual Multitask Learning
by: Wang, Hanchen David, et al.
Published: (2025)

Forecasting and Mitigating Disruptions in Public Bus Transit Services
by: Han, Chaeeun, et al.
Published: (2024)

M2-PALE: A Framework for Explaining Multi-Agent MCTS--Minimax Hybrids via Process Mining and LLMs
by: Qian, Yiyu, et al.
Published: (2026)

Grid-Aware Charging and Operational Optimization for Mixed-Fleet Public Transit
by: Sen, Rishav, et al.
Published: (2026)

NS-Gym: Open-Source Simulation Environments and Benchmarks for Non-Stationary Markov Decision Processes
by: Keplinger, Nathaniel S., et al.
Published: (2025)

Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
by: Zhang, Yunuo, et al.
Published: (2024)

Reinforcement Learning-based Approach for Vehicle-to-Building Charging with Heterogeneous Agents and Long Term Rewards
by: Liu, Fangqi, et al.
Published: (2025)

Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation
by: Chen, Zirong, et al.
Published: (2024)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
by: Hu, Chengpeng, et al.
Published: (2026)

CONSENT: A Negotiation Framework for Leveraging User Flexibility in Vehicle-to-Building Charging under Uncertainty
by: Sen, Rishav, et al.
Published: (2026)

DiPRL: Learning Discrete Programmatic Policies via Architecture Entropy Regularization
by: Hu, Chengpeng, et al.
Published: (2026)

LongRAG: Enhancing Retrieval-Augmented Generation with Long-context LLMs
by: Jiang, Ziyan, et al.
Published: (2024)

An Evolutionary Framework for Connect-4 as Test-Bed for Comparison of Advanced Minimax, Q-Learning and MCTS
by: Taylor, Henry, et al.
Published: (2024)

Towards Verified and Targeted Explanations through Formal Methods
by: Wang, Hanchen David, et al.
Published: (2026)

Activation Steering for Bias Mitigation: An Interpretable Approach to Safer LLMs
by: Dubey, Shivam
Published: (2025)

Reasoning in Action: MCTS-Driven Knowledge Retrieval for Large Language Models
by: Liu, Shuqi, et al.
Published: (2025)

Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
by: Hashemi, Navid, et al.
Published: (2025)

Navigating the Alpha Jungle: An LLM-Powered MCTS Framework for Formulaic Factor Mining
by: Shi, Yu, et al.
Published: (2025)

Boosting MCTS with Free Energy Minimization
by: Dao, Mawaba Pascal, et al.
Published: (2025)

Planning, Scheduling, and Behavior in EV Charging Systems: A Critical Survey and Trilemma Framework
by: Xiao, Peiyan, et al.
Published: (2026)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
by: Wormald, Stephen, et al.
Published: (2025)

Plan-MCTS: Plan Exploration for Action Exploitation in Web Navigation
by: Zhang, Weiming, et al.
Published: (2026)

Explaining Categorical Feature Interactions Using Graph Covariance and LLMs
by: Shen, Cencheng, et al.
Published: (2025)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
by: Fioravanti, Stefano, et al.
Published: (2025)

Explainable AI: A Combined XAI Framework for Explaining Brain Tumour Detection Models
by: McGonagle, Patrick, et al.
Published: (2026)

LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
by: Nananukul, Navapat, et al.
Published: (2025)