We stand with Ukraine  

Yuhao Zhou

Orcid: 0009-0003-6895-6308

Affiliations:
  • Northeastern University, Department of Computer Science, Boston, MA, USA


According to our database1, Yuhao Zhou authored at least 4 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Can LLMs Perform Synthesis?
[BibTeX]
[DOI]
Derek Egolf
,
Yuhao Zhou
,
Stavros Tripakis
CoRR, March, 2026

Towards Language Model Guided TLA<sup>+</sup> Proof Automation.
[BibTeX]
[DOI]
Yuhao Zhou
,
Stavros Tripakis
Proceedings of the Formal Methods - 27th International Symposium, 2026

2025
Towards Language Model Guided TLA+ Proof Automation.
[BibTeX]
[DOI]
Yuhao Zhou
,
Stavros Tripakis
CoRR, December, 2025

2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems.
[BibTeX]
[DOI]
Yuhao Zhou
,
Stavros Tripakis
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024


  Loading...