Published in JSS 2024, 2025
A symbolic testing framework for detecting floating-point corner-case bugs and numerical inconsistencies.
Recommended citation: Zeyu Liang et al. Journal of Systems and Software. YUSE: Symbolic Testing of Floating-Point Programs.
Download Paper
Published in Poster, AAAI 2026, 2025
Large language models as high-level coordination and communication modules for multi-agent reinforcement learning under partial observability.
Recommended citation: Zeyu Liang. Poster at AAAI 2026. LLM Collaboration with Multi-Agent Reinforcement Learning.
Download Paper
Published in IC 2024, 2024
Parallel computing strategies and performance evaluation on RTEMS under real-time constraints.
Recommended citation: Zeyu Liang. Intelligent Computers, Algorithms, and Applications. Paor: Parallel Computing on RTEMS.
Download Paper