:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Della Monica, Dario, Montanari, Angelo, Sala, Pietro
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2507.17988
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
by: Acampora, Renato, et al.
Published: (2024)

Controller Synthesis for Timeline-based Games
by: Acampora, Renato, et al.
Published: (2023)

Temporal reasoning for timeline summarisation in social media
by: Song, Jiayu, et al.
Published: (2024)

Combining Hierachical VAEs with LLMs for clinically meaningful timeline summarisation in social media
by: Song, Jiayu, et al.
Published: (2024)

Experience-driven discovery of planning strategies
by: He, Ruiqi, et al.
Published: (2024)

Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
by: Brunello, Andrea, et al.
Published: (2025)

Individual differences in the cognitive mechanisms of planning strategy discovery
by: He, Ruiqi, et al.
Published: (2025)

A first-order logic characterization of safety and co-safety languages
by: Cimatti, Alessandro, et al.
Published: (2022)

A Second-Order Perspective on Model Compositionality and Incremental Learning
by: Porrello, Angelo, et al.
Published: (2024)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
by: Brunello, Andrea, et al.
Published: (2025)

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

Policy-shaped prediction: avoiding distractions in model-based reinforcement learning
by: Hutson, Miles, et al.
Published: (2024)

Chemical reasoning in LLMs unlocks strategy-aware synthesis planning and reaction mechanism elucidation
by: Bran, Andres M, et al.
Published: (2025)

Train on Validation (ToV): Fast data selection with applications to fine-tuning
by: Jain, Ayush, et al.
Published: (2025)

Scaling laws for learning with real and surrogate data
by: Jain, Ayush, et al.
Published: (2024)

Two-step dynamic obstacle avoidance
by: Hart, Fabian, et al.
Published: (2023)

Promises and Pitfalls of Threshold-based Auto-labeling
by: Vishwakarma, Harit, et al.
Published: (2022)

Pay Attention to What and Where? Interpretable Feature Extractor in Vision-based Deep Reinforcement Learning
by: Pham, Tien, et al.
Published: (2025)

SoK: Security and Privacy of AI Agents for Blockchain
by: Romandini, Nicolò, et al.
Published: (2025)

A Statistical Framework for Algorithmic Collective Action with Multiple Collectives
by: Battiloro, Claudio, et al.
Published: (2026)

Reinforcement learning based local path planning for mobile robot
by: Gok, Mehmet, et al.
Published: (2023)

Vision-aided UAV navigation and dynamic obstacle avoidance using gradient-based B-spline trajectory optimization
by: Xu, Zhefan, et al.
Published: (2022)

Dataless Weight Disentanglement in Task Arithmetic via Kronecker-Factored Approximate Curvature
by: Porrello, Angelo, et al.
Published: (2026)

Input-to-State Stable Coupled Oscillator Networks for Closed-form Model-based Control in Latent Space
by: Stölzle, Maximilian, et al.
Published: (2024)

Guessing human intentions to avoid dangerous situations in caregiving robots
by: Zapata, Noé, et al.
Published: (2024)

Primitive Agentic First-Order Optimization
by: Sala, R.
Published: (2024)

Automatic parking planning control method based on improved A* algorithm
by: Zhao, Yuxuan
Published: (2024)

Simulation of collision avoidance behavior in crowd movement by data-driven approach
by: Liang, Xuanwen, et al.
Published: (2026)

Epistemic Constitutionalism Or: how to avoid coherence bias
by: Loi, Michele
Published: (2026)

A multi-strategy improved snake optimizer for three-dimensional UAV path planning and engineering problems
by: Li, Genliang, et al.
Published: (2025)

Merging plans with incomplete knowledge about actions and goals through an agent-based reputation system
by: Carbo, Javier, et al.
Published: (2024)

The Impact of Persona-based Political Perspectives on Hateful Content Detection
by: Civelli, Stefano, et al.
Published: (2025)

Synthesizing world models for bilevel planning
by: Ahmed, Zergham, et al.
Published: (2025)

On shallow planning under partial observability
by: Lefebvre, Randy, et al.
Published: (2024)

Guardrails for avoiding harmful medical product recommendations and off-label promotion in generative AI models
by: Lopez-Martinez, Daniel
Published: (2024)

Combining model tracing and constraint-based modeling for multistep strategy diagnoses
by: van der Hoek, Gerben, et al.
Published: (2025)

MOTIF: Multi-strategy Optimization via Turn-based Interactive Framework
by: Kiet, Nguyen Viet Tuan, et al.
Published: (2025)

COSMOS: Predictable and Cost-Effective Adaptation of LLMs
by: Wang, Jiayu, et al.
Published: (2025)

Weak-to-Strong Generalization Through the Data-Centric Lens
by: Shin, Changho, et al.
Published: (2024)

Expressive Reward Synthesis with the Runtime Monitoring Language
by: Donnelly, Daniel, et al.
Published: (2025)