Enyuan Tian

According to our database, Enyuan Tian authored at least 5 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking.

Yuheng Su, Tianjun Bu, Qiusong Yang, Yiwei Ci, Enyuan Tian

CoRR, February, 2026

AssertSynth: LLM-Based Assertion Synthesis via Multimodal Specification Extraction.

Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

2025

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction.

Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu

CoRR, July, 2025

Efficient processor verification by tautologies-derived universal properties model checking.

Yufeng Li, Yiwei Ci, Qiusong Yang, Enyuan Tian

Integr., 2025

2024

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution.

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024