S. Cheung

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Interpretability & Mechanistic Interp (1)Tool Use & Agents (1)

Frequent co-authors

Zhiyong Chen (1)

Papers (1)

Feb 12, 2026

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair

Debugging TLA+ specifications just got easier: ModelWisdom uses LLMs and interactive visualization to transform cryptic model-checker output into actionable insights.

Zhiyong Chen, S. Cheung

Code Generation & Program Synthesis Interpretability & Mechanistic Interp Tool Use & Agents

Search

S. Cheung

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)