Guanjun Liu
Identifiers
No identifiers captured yet.
Papers (3)
- LaTER: Efficient Test-Time Reasoning via Latent Exploration and Explicit Verification cs.CL · 2026 · author #4
- CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs cs.PL · 2026 · author #2
- A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets cs.SE · 2026 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Kaiwen Zhang 2 shared papers
- Delai Qiu 1 shared papers
- Jiaen Liang 1 shared papers
- Junnan Zhu 1 shared papers
- Jun Yu 1 shared papers
- Shengping Liu 1 shared papers
- Wei Huang 1 shared papers
- Xuan Li 1 shared papers
- Yining Wang 1 shared papers
- Yuchen Liu 1 shared papers