Hongshu Wang

Identifiers

• name variant Hongshu Wang 0.60 · backfill

Papers (1)

1. Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair cs.SE · 2026 · author #1

Mentions

• 2605.17475 #1 · arxiv_oai · confidence 0.70 Hongshu Wang

Frequent Coauthors

• Jin Song Dong 1 shared papers
• Qin Li 1 shared papers
• Xinyue Zuo 1 shared papers
• Yamine Ait Ameur 1 shared papers
• Yuhan Sun 1 shared papers