2 papers
cs.SE2026
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Hongshu Wang, Xinyue Zuo, Yuhan Sun +3
Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…
cs.AI2026
SR-Scientist: Scientific Equation Discovery With Agentic AI
Shijie Xia, Yuhan Sun, Pengfei Liu
Recently, Large Language Models (LLMs) have been applied to scientific equation discovery, leveraging their embedded scientific knowledge for hypothesis generation. However, curren…