Jinhui Lyu

Orcid: 0009-0002-7482-3205

According to our database¹, Jinhui Lyu authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

DSVA: An Iterative Refinement Multi-Agent Framework for NL-to-MTL Translation.

[DOI]

IEEE Access, 2026

2025

A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion.

[DOI]

Proceedings of the 32nd Asia-Pacific Software Engineering Conference, 2025