Lei Bu

Identifiers

• name variant Lei Bu 0.60 · backfill

Papers (2)

1. SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification cs.SE · 2026 · author #6
2. Online Verification of Control Parameter Calculations in Communication Based Train Control System cs.SE · 2011 · author #1

Mentions

• 1101.4271 #1 · backfill · confidence 0.70 Lei Bu

Frequent Coauthors

• Han Wang 1 shared papers
• Lezhi Ma 1 shared papers
• Linzhang Wang 1 shared papers
• Qiong Wu 1 shared papers
• Shangqing Liu 1 shared papers
• Xin Chen 1 shared papers
• Xuandong Li 1 shared papers
• Yi Li 1 shared papers