
时微淳
硕士研究生
组内经历
2024–至今
硕士研究生
论文
2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025CCF BWeichun ShiMinghao LiuWanting ZhangLangchen ShiFuqi JiaFeifei MaJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。

硕士研究生
2024–至今
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。