| Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition | Jun 21, 2025 | Decision MakingSequential Decision Making | —Unverified | 0 |
| Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version) | Jun 20, 2025 | Decision Making | —Unverified | 0 |
| UProp: Investigating the Uncertainty Propagation of LLMs in Multi-Step Agentic Decision-Making | Jun 20, 2025 | Decision MakingQuestion Answering | CodeCode Available | 0 |
| Cash or Comfort? How LLMs Value Your Inconvenience | Jun 20, 2025 | Decision Making | CodeCode Available | 0 |
| TransDreamerV3: Implanting Transformer In DreamerV3 | Jun 20, 2025 | Decision MakingMinecraft | CodeCode Available | 0 |
| Towards AI Search Paradigm | Jun 20, 2025 | Decision MakingRetrieval-augmented Generation | —Unverified | 0 |
| Social Group Bias in AI Finance | Jun 20, 2025 | counterfactualDecision Making | —Unverified | 0 |
| CF-Seg: Counterfactuals meet Segmentation | Jun 19, 2025 | Anatomycounterfactual | —Unverified | 0 |
| BIDA: A Bi-level Interaction Decision-making Algorithm for Autonomous Vehicles in Dynamic Traffic Scenarios | Jun 19, 2025 | Autonomous VehiclesDecision Making | —Unverified | 0 |
| The Role of Explanation Styles and Perceived Accuracy on Decision Making in Predictive Process Monitoring | Jun 19, 2025 | counterfactualDecision Making | —Unverified | 0 |
