9 papers
Localizing Emergent Failures in Agentic AI: Recovering Minimal Repair Families via Counterfactual Replay
Bingjie Li, Yumeng Song, Zhongming Yao +1
Failures in agentic AI systems can arise from interactions among messages exchanged by multiple large language model (LLM) agents. Pointwise attribution cannot distinguish a jointl…
VTRQ: Enabling Verifiable Trajectory Range Queries in Hybrid-Storage Blockchains
Zhongming Yao, Junchang Xin, Yumeng Song +7
Due to their increasingly large volumes, outsourcing of trajectory storage and querying to third-party service providers has become attractive. However, in such outsourced environm…
Reliable AI Needs to Externalize Implicit Knowledge: A Human-AI Collaboration Perspective
Hengyu Liu, Tianyi Li, Zhihong Cui +5
This position paper argues that reliable AI requires infrastructure for human validation of implicit knowledge. AI learns from both explicit knowledge (papers, documentation, struc…
CLEAR: A Knowledge-Centric Vessel Trajectory Analysis Platform
Hengyu Liu, Tianyi Li, Haoyu Wang +5
Vessel trajectory data from the Automatic Identification System (AIS) is used widely in maritime analytics. Yet, analysis is difficult for non-expert users due to the incompletenes…
VISTA: Knowledge-Driven Vessel Trajectory Imputation with Repair Provenance
Hengyu Liu, Tianyi Li, Haoyu Wang +4
Repairing incomplete trajectory data is essential for downstream spatio-temporal applications. Yet, existing repair methods focus solely on reconstruction without documenting the r…
Advancing Knowledge Tracing by Exploring Follow-up Performance Trends
Hengyu Liu, Yushuai Li, Minghe Yu +6
Intelligent Tutoring Systems (ITS), such as Massive Open Online Courses, offer new opportunities for human learning. At the core of such systems, knowledge tracing (KT) predicts st…
MH-GIN: Multi-scale Heterogeneous Graph-based Imputation Network for AIS Data (Extended Version)
Hengyu Liu, Tianyi Li, Yuqiang He +3
Location-tracking data from the Automatic Identification System, much of which is publicly available, plays a key role in a range of maritime safety and monitoring applications. Ho…
ACTIVE: Continuous Similarity Search for Vessel Trajectories
Tiantian Liu, Hengyu Liu, Tianyi Li +2
Publicly available vessel trajectory data is emitted continuously from the global AIS system. Continuous trajectory similarity search on this data has applications in, e.g., mariti…
A Multi-Modal Knowledge-Enhanced Framework for Vessel Trajectory Prediction
Haomin Yu, Tianyi Li, Kristian Torp +1
Accurate vessel trajectory prediction facilitates improved navigational safety, routing, and environmental protection. However, existing prediction methods are challenged by the ir…