4 papers
Latent Logic Tree Extraction for Event Sequence Explanation from LLMs
Zitao Song, Chao Yang, Chaojie Wang +2
Modern high-stakes systems, such as healthcare or robotics, often generate vast streaming event sequences. Our goal is to design an efficient, plug-and-play tool to elicit logic tr…
Neuro-Symbolic Temporal Point Processes
Yang Yang, Chao Yang, Boyang Li +2
Our goal is to discover a compact set of temporal logic rules to explain irregular events of interest. We introduce a neural-symbolic rule induction framewor…
Unveiling Latent Causal Rules: A Temporal Point Process Approach for Abnormal Event Explanation
Yiling Kuang, Chao Yang, Yang Yang +1
In high-stakes systems such as healthcare, it is critical to understand the causal reasons behind unusual events, such as sudden changes in patient's health. Unveiling the causal r…
Discovering Intrinsic Spatial-Temporal Logic Rules to Explain Human Actions
Chengzhi Cao, Chao Yang, Shuang Li
We propose a logic-informed knowledge-driven modeling framework for human movements by analyzing their trajectories. Our approach is inspired by the fact that human actions are usu…