Jan. 2026: 🎉1xICLR and 1xTCAD, many thanks for all co-authors. We officially launched a collaboration with the HiSilicon Formal Verification Group, aiming to develop efficient word-level solvers and a bug-hunting framework for multi-property hardware verification. We are also delighted to welcome Shenghu Han, Yusen Mo, Yiting Yang and Zixiang Fu, who will join the FORMiND Lab in Fall 2026. In addition, we have three openings for Master’s candidates in 2026, and interested students are warmly encouraged to contact us via email.

Dec. 2025: We have open‑sourced EquivFusion, a verification toolchain built on CIRCT. The main contributors are Mengxia, Baoqi, Jiaying and Min.

Sept. 2025: 🎉One paper (Dependency Matters: Enhancing LLM Reasoning with Explicit Knowledge Grounding) has been accepted by NeurIPS 2025. Congrats to Xiangyu Wen, our awesome intern at Huawei (co-supervised by Junhua and me).

Aug. 2025: 🎉Warmly welcoming five new students Yan Jiang, Shibo Zhao, Jiongming Chen, Jieying Wu, and Yang Zhang, who will join the FORMiND Lab as master’s students in Fall 2025. Looking forward to an exciting journey together!

Jul. 2025: Min has safely landed at SEU! With four master’s spots open, he’s welcoming students passionate about AI4Formal to join the journey.

Jun. 2025: 🎉Dr. Min Li departed from Huawei Noah’s Ark Lab and just launched the FORMiND Lab website; he will join Southeast University this summer. 🎉Welcoming Xudong Hu as the inaugural member, who commences his Ph.D. program in Fall 2025.

• EquivFusion aims to unify equivalence checking from algorithms to netlists for efficient sign‑off. The project is built on CIRCT and is still in an early development stage, and we welcome feedback and collaboration as it continues to evolve.

• From Generation to Verified Synthesis: Bridging Industrial Reality via C-Guided Agents 📄
  01/2026: (Designer Forum 1) Toward Autonomous Chip Design: From Foundation Models to AgenticEDA, ASP-DAC26.
• Applications and Prospects of Formal Methods in Hardware Verification Tools 📄 🎬
  08/2025: 2025 CCF Formal Methods Committee Youth Academic Forum — Symposium on the Application of Formal Methods in Foundational Software / IS, CAS.
• Opportunities and Challenges of Hardware Formal Verification in the Era of Large Language Models 📄
  07/2025: LLM4xPU Summer School, State Key Lab of Processors, ICT, CAS.

• preprintEquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR 📄
  Jiaying Zhu, Baoqi Zhang, Kezhi Li, Hao Yan, Qiang Xu, Min Li
  In submission to ACM International Conference on the Foundations of Software Engineering - Tool Demonstrations Track, 2026.
• TCADFrom Contrastive to Generative Alignment: Large-Scale Hierarchical Multi-Modal Pre-training for Hotspot Detection
  Xinyun Zhang, Yuyang Chen, Yiwen Wu, Su Zheng, Ran Chen, Min Li, Hao Geng, Binwu Zhu, Mingxuan Yuan, Bei Yu
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2026.
• ICLRReasoning Scaffolding: Distilling the Flow of Thought from LLMs 🔗📄
  Xiangyu Wen, Junhua Huang, Zeju Li, Min Li, Jianyuan Zhong, Zhijian Xu, Mingxuan Yuan, Yongxiang Huang, Qiang Xu
  International Conference on Learning Representations, 2026.
• NeurIPSDependency Matters: Enhancing LLM Reasoning with Explicit Knowledge Grounding 🔗📄
  Xiangyu Wen, Min Li, Junhua Huang, Jianyuan Zhong, Zhijian Xu, Zeju Li, Yongxiang Huang, Mingxuan Yuan, Qiang Xu
  Conference on Neural Information Processing Systems, 2025.