FOLIO: Natural Language Reasoning with First-Order Logic. - Simeng Han; Hailey Schoelkopf; Yilun Zhao 001; Zhenting Qi; Martin Riddell; Wenfei Zhou; James Coady; David Peng; Yujie Qiao; Luke Benson; Lucy Sun; Alexander Wardle-Solano; et al. (EMNLP, 2024)

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains. - Simeng Han; Aaron Yu; Rui Shen; Zhenting Qi; Martin Riddell; Wenfei Zhou; Yujie Qiao; Yilun Zhao 001; Semih Yavuz; Ye Liu 006; Shafiq Joty; Yingbo Zhou; et al. (EMNLP (Findings), 2024)

Invited Paper: LLM4HWDesign Contest: Constructing a Comprehensive Dataset for LLM-Assisted Hardware Code Generation with Community Efforts. - Zhongzhi Yu; Chaojian Li; Yongan Zhang; Mingjie Liu; Nathaniel Ross Pinckney; Wenfei Zhou; Haoyu Yang; Rongjian Liang; Haoxing Ren; Yingyan Celine Lin (ICCAD, 2024)

On Evaluating the Integration of Reasoning and Action in LLM Agents with Database Question Answering. - Linyong Nan; Ellen Zhang; Weijin Zou; Yilun Zhao 001; Wenfei Zhou; Arman Cohan (NAACL-HLT (Findings), 2024)

ChipVQA: Benchmarking Visual Language Models for Chip Design. - Haoyu Yang; Qijing Huang 001; Nathaniel Ross Pinckney; Walker J. Turner; Wenfei Zhou; Yanqing Zhang 002; Chia-Tung Ho; Chen-Chia Chang; Haoxing Ren (DATE, 2025)

CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair. - Mingjie Liu; Yun-Da Tsai; Wenfei Zhou; Haoxing Ren (ICLR, 2025)

Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification. - Nathaniel Ross Pinckney; Chenhui Deng; Chia-Tung Ho; Yun-Da Tsai; Mingjie Liu; Wenfei Zhou; Brucek Khailany; Haoxing Ren (CoRR, 2025)