Papers by Weidi Sun
AGrail: A Lifelong Agent Guardrail with Effective and Adaptive Safety Detection (2025.acl-long)
Copied to clipboard
| Challenge: | Existing defense agencies fail to adaptively and effectively mitigate these risks. |
| Approach: | They propose a lifelong agent guardrail that enhances LLM agent safety by enabling adaptive safety check generation, effective safety check optimization, and tool compatibility & flexibility. |
| Outcome: | The proposed agent guardrail achieves strong performance against task-specific and systemic risks and is transferable across different LLM agents’ tasks. |
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis (2026.acl-demo)
Copied to clipboard
Cheng Wen, Hu Junjie, YiKun Hu, Jie Su, Bin Yu, Dugang Liu, Zhiwu Xu, Weidi Sun, Shengchao Qin, Cong Tian
| Challenge: | Formal verification typically requires developers to write detailed formal specifications . a formal verification system that generates candidate specifications is costly and error-prone . |
| Approach: | They propose an LLM-driven neuro-symbolic demonstration system that reframes specification writing as constrained structured synthesis. |
| Outcome: | The proposed system reduces hallucinations and produces proof-ready annotations. |
Extracting Trigger-sharing Events via an Event Matrix (2022.findings-emnlp)
Copied to clipboard
| Challenge: | Existing methods to extract multiple events with triggers and arguments are invalid as there may be multiple events. |
| Approach: | They propose a framework for event extraction which models the relations between arguments by an event matrix. |
| Outcome: | The proposed framework beats all the advanced competitors on 3 widely-used datasets. |