An Empirical Study of LLM-Generated Specifications for VeriFast
LLM 生成的 VeriFast 规范实证研究
Wen Fan, Minh Tran, Sanya Dod, Xin Hu, Marilyn Rego, Danning Xie, Jenna DiVincenzo, Lin Tan
机构
*
Purdue University(普渡大学)
;
University of Michigan(密歇根大学)
;
Meta
;
Ann Arbor, Michigan, USA(美国密歇根州安阿伯)
;
Menlo Park, California, USA(美国加州Menlo Park)
;
West Lafayette, Indiana, USA(美国印第安纳州西拉法叶)
专题命中
推理与问题求解
:LLM(title,title_cn);large language model(abstract);language model(abstract);prompting(abstract)
SICI: A Semantic-Pragmatic Complexity Index Reveals Regime Shifts in LLM Stance Detection
SICI:一种揭示LLM立场检测中相变的语义-语用复杂度指数
Fuqiang Niu, Bowen Zhang
机构
*
School of Cyber Science and Technology, University of Science and Technology of China(中国科学技术大学网络空间安全学院)
;
School of Artificial Intelligence, Shenzhen Technology University(深圳技术大学人工智能学院)
CommentsPresented at the 2nd Causal Neuro-symbolic Artificial Intelligence (Causal NeSy): Toward Agentic LLMs with Neuro-Symbolic and Graph Based Reasoning Workshop @ ESWC2026
CoEvoT: Co-Evolving Chain-of-Thought Prompting for Graph-LLM Reasoning
CoEvoT:用于图语言模型推理的协同进化思维链提示
Haohua Niu, Xingtong Yu, Yang Liu, Junfeng Fang, Xuanting Xie, Jie Tan, Zhongjian Zhang, Hong Cheng, Yuan Fang
机构
*
Sun Yat-Sen University(中山大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所)
;
National University of Singapore(新加坡国立大学)
;
University of Electronic Science and Technology of China(电子科技大学)
;
Beijing University of Posts and Telecommunieations(北京邮电大学)
;
Singapore Management University(新加坡管理大学)
专题命中
推理与问题求解
:LLM(title,abstract);prompting(title,abstract);large language model(abstract);language model(abstract)
Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning
了解你的局限:LLM在法律推理中作为求解器和自动形式化工具的忠实性
Olivia Peiyu Wang, Sanna Wong-Toropainen, Daneshvar Amrollahi, Ryan Bai, Tashvi Bansal, Arush Garg, Leilani H. Gilpin
机构
*
UC Santa Cruz(加州大学圣克鲁兹分校)
;
Univ. Helsinki(赫尔辛基大学)
;
CodeX, Stanford(斯坦福大学CodeX中心)
;
Stanford University(斯坦福大学)
;
Canyon Crest Academy(峡谷峰学院)
;
Monta Vista High School(蒙塔维斯塔高中)
;
Los Altos High School(洛斯阿尔托斯高中)
专题命中
推理与问题求解
:LLM(title_cn,summary_cn);large language model(abstract);language model(abstract);prompting(abstract)
Comments10 pages, submitted to COLM 2026 (under review, average score of 6.25 across 4 reviewers) and accepted by the AI4Law and AI4Math workshops at ICML. This is the version where we already addressed most of the reviews from the COLM & AI4Law & AI4Math reviewers
机构
*
The Hong Kong Polytechnic University(香港理工大学)
;
Nanyang Technological University(南洋理工大学)
;
Tsinghua University(清华大学)
;
Royal Melbourne Institute of Technology(皇家墨尔本理工大学)
;
Beijing University of Aeronautics and Astronautics(北京航空航天大学)
专题命中
推理与问题求解
:large language model(title,abstract);language model(title,abstract);LLM(abstract,abstract_cn);分类 cs.CL、cs.AI