
Title |
|---|
![]() Verification of Autonomous Neural Car Control with KeYmaera XInternational Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ), 2025 |
![]() Synthesizing Post-Training Data for LLMs through Multi-Agent SimulationAnnual Meeting of the Association for Computational Linguistics (ACL), 2024 |
![]() Synergistic Multi-Agent Framework with Trajectory Learning for Knowledge-Intensive TasksAAAI Conference on Artificial Intelligence (AAAI), 2024 |