Writing and Coverage

A selection of articles I have written and independent coverage of projects I work on.

Writing

• May 7, 2026 — Can LLMs Model Real-World Systems in TLA+?
  ACM SIGOPS Blog · Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, and Tianyin Xu.

Coverage and Reviews

• August 26, 2026 — Specula: Scaling Formal Specifications to Find Deep Bugs in Real-World Systems
  机器之心 · Chinese-language feature.
• August 12, 2026 — Specula: Scaling Formal Specifications for Autonomous Model Checking of System Code
  Murat Demirbas, Metadata.
• April 1, 2026 — Review: SysMoBench — Evaluating AI on Formally Modeling Complex Real-World Systems
  A. Jesse Jiryu Davis.
• March 24, 2026 — SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
  Murat Demirbas, Metadata.
• August 12, 2025 — Specula Wins First Place in the 2025 TLAi+ Challenge
  TLA+ Foundation.