Papers by Jiaqi Lv
ChatHLS: Towards Systematic Design Automation and Optimization for High-Level Synthesis (2026.acl-long)
Copied to clipboard
| Challenge: | High-Level Synthesis (HLS) is a hardware design tool that can be used to design hardware from C-like languages, but its widespread adoption is limited by strict coding constraints and design-specific optimizations. |
| Approach: | They propose a multi-agent HLS design framework that leverages specialized LLMs for automated debugging and directive tuning. |
| Outcome: | The proposed framework outperforms Gemini-3-pro in debugging and speedups across various HLS kernels and neural network accelerators. |
FaStFact: Faster, Stronger Long-Form Factuality Evaluations in LLMs (2025.findings-emnlp)
Copied to clipboard
Yingjia Wan, Haochen Tan, Xiao Zhu, Xinyu Zhou, Zhiwei Li, Qingsong Lv, Changxuan Sun, Jiaqi Zeng, Yi Xu, Jianqiao Lu, Yinhong Liu, Zhijiang Guo
| Challenge: | Prior evaluation pipelines fail to evaluate factuality of long-form LLMs due to inefficiency and costly human assessment. |
| Approach: | They propose a fast and strong evaluation pipeline that can evaluate factuality of long-form LLMs . they propose 'faStFact' to reduce cost of web searching and inference calling . |
| Outcome: | The proposed evaluation pipeline achieves highest alignment with human evaluation and efficiency among existing baselines. |