Skip to content
Log in
Sponsored Artificial Intelligence: A Modern Approach, Global Edition Artificial Intelligence: A Modern Approach, Global Edition

Author

Yuan Yao

h-index 6 View on Semantic Scholar

We have 3 of 24 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Sep 2026

I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed Protocols

Distributed protocols are notoriously difficult to verify correctly. Proving safety typically requires inductive invariants that both imply the desired property and are preserved by every protocol transition; yet inferring such invariants remains a major bottleneck: existing approaches either restrict the protocol mode...

Wei-Ning Cao, Guang-Yuan Wu, Yuan Yao et al. · 0 citations
Conference Aug 2026

From Use Cases to Sequence Diagrams: Schema-Constrained Generation with Large Language Models

Sequence diagrams are widely used to model interactions among system components and external actors by explicitly describing how operations are executed over time. However, constructing sequence diagrams manually is tedious and time-consuming in practice, and their automated generation remains largely unresolved. In th...

Chun-Hao Huang, Yuan Yao, Taolue Chen et al. · 0 citations
Jul 2026

Beyond Fail-to-Pass: Iterative Hardening of Co-Generated Bug Reproduction Tests and Fixes

CoHarden is proposed, a co-generation framework that uses the Lax signal as an in-loop convergence criterion that generates a test before any fix, then iteratively hardens the test and fix against surviving mutation patches until the generated test no longer admits Lax regressions.

Yuhao Tan, Zhibang Yang, Fangkai Yang et al. · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.