Mingkai Miao

According to our database¹, Mingkai Miao authored at least 4 papers between 2025 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking.

[BibT_eX]

[DOI]

CoRR, April, 2026

LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking.

[BibT_eX]

[DOI]

CoRR, February, 2026

BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

SMT-Sweep: Word-Level Representation Unification for Hardware Verification.

[BibT_eX]

[DOI]

CoRR, July, 2025

Mingkai Miao

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...