10 citations · 19 across the 6 of their papers we have counts for
6 papers
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…
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…
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…
Polyjuice: High-Performance Transactions via Learned Concurrency Control
Jiachen Wang, Ding Ding, Huan Wang +4
Concurrency control algorithms are key determinants of the performance of in-memory databases. Existing algorithms are designed to work well for certain workloads. For example, opt…
On the parallels between Paxos and Raft, and how to port optimizations
Zhaoguo Wang, Changgeng Zhao, Shuai Mu +2
In recent years, Raft has overtaken Paxos as the consensus algorithm of choice. [53] While many have pointed out similarities between the two protocols, no one has formally mapped…
Learned Indexes for Dynamic Workloads
Chuzhe Tang, Zhiyuan Dong, Minjie Wang +2
The recent proposal of learned index structures opens up a new perspective on how traditional range indexes can be optimized. However, the current learned indexes assume the data d…