Zhaoguo Wang

Identifiers

No identifiers captured yet.

Papers (3)

1. FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning cs.SE · 2026 · author #2
2. On the parallels between Paxos and Raft, and how to port optimizations cs.DC · 2019 · author #1
3. Learned Indexes for Dynamic Workloads cs.LG · 2019 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Haibo Chen 3 shared papers
• Changgeng Zhao 1 shared papers
• Chuzhe Tang 1 shared papers
• Haoran Ding 1 shared papers
• Jinyang Li 1 shared papers
• Minjie Wang 1 shared papers
• Shuai Mu 1 shared papers
• Zhiyuan Dong 1 shared papers