3 papers
cs.SE2026
FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
Haoran Ding, Zhaoguo Wang, Haibo Chen
LLM-assisted software development has become increasingly prevalent, and can generate large-scale systems, such as compilers. It becomes crucial to strengthen the correctness of th…
cs.AI2025
An AI-native experimental laboratory for autonomous biomolecular engineering
Mingyu Wu, Zhaoguo Wang, Jiabin Wang +9
Autonomous scientific research, capable of independently conducting complex experiments and serving non-specialists, represents a long-held aspiration. Achieving it requires a fund…
cs.LG2025
Accelerating Large Language Models through Partially Linear Feed-Forward Network
Gansen Hu, Zhaoguo Wang, Jinglin Wei +2
Large language models (LLMs) demonstrate remarkable capabilities but face deployment challenges due to their massive parameter counts. While existing compression techniques like pr…