机构
*
Department of Computer Science, School of Engineering, Stanford University（计算机科学系，工程学院，斯坦福大学）
；
Department of Genetics, School of Medicine, Stanford University（遗传学系，医学院，斯坦福大学）
；
Department of Pathology, School of Medicine, Stanford University（病理学系，医学院，斯坦福大学）
Agentic AI-based Coverage Closure for Formal Verification
基于代理AI的正式验证覆盖闭合
Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
机构
*
1 Infineon Technologies India Private Limited, India 2 Dr. B R Ambedkar National Institute of Technology Jalandhar, India 3 Infineon Technologies Dresden AG \& Co. KG, Germany
专题命中
评测与基准
：LLM(abstract)；large language model(abstract)；language model(abstract)；分类 cs.AI
CommentsTo appear at the IEEE International Conference on Intelligent Processing, Hardware, Electronics, and Radio Systems (CIPHER), February 13-15, 2026, NIT Jalandhar, India
Rashid: A Cipher-Based Framework for Exploring In-Context Language Learning
Rashid：一种基于密码的探索上下文语言学习框架
Niyati Bafna, Ryan Soh-Eun Shim, Barbara Plank, David Yarowsky, Hale Sirin
机构
*
Johns Hopkins University, Center for Language and Speech Processing（约翰霍普金斯大学语言与语音处理中心）
；
MaiNLP, Center for Information and Language Processing, LMU Munich（MaiNLP语言信息处理中心，慕尼黑大学）
专题命中
评测与基准
：large language model(abstract)；language model(abstract)；分类 cs.CL
Cerebra: A Multidisciplinary AI Board for Multimodal Dementia Characterization and Risk Assessment
Cerebra：一个多学科AI平台用于多模态痴呆症特征化和风险评估
Sheng Liu, Long Chen, Zeyun Zhao, Qinglin Gou, Qingyue Wei, Arjun Masurkar, Kevin M. Spiegler, Philip Kuball, Stefania C. Bray, Megan Bernath, Deanna R. Willis, Jiang Bian, Lei Xing, Eric Topol, Kyunghyun Cho, Yu Huang, Ruogu Fang, Narges Razavian, James Zou
机构
*
Department of Biomedical Data Science, Stanford University（斯坦福大学生物医学数据科学系）
；
Department of Radiation Oncology, Stanford University（斯坦福大学放射肿瘤科）
；
Center for Data Science, New York University（纽约大学数据科学中心）
；
J. Crayton Pruitt Family Department of Biomedical Engineering, University of Florida（佛罗里达大学杰·克雷顿·普瑞特家庭生物医学工程系）
；
Department of Biomedical Engineering and Informatics, Indiana University Indianapolis（印第安纳大学印第安纳波利斯分校生物医学工程与信息学系）
；
Department of Neurology, NYU Grossman School of Medicine（纽约大学格罗斯曼医学院神经科）
；
Department of Neuroscience, NYU Grossman School of Medicine（纽约大学格罗斯曼医学院神经科学系）
；
UF Health Family Medicine – Haile Plantation（佛罗里达大学健康家庭医学-海莱种植园）
；
Department of Family Medicine, Indiana University School of Medicine（印第安纳大学医学院家庭医学系）
；
Department of Biostatistics and Health Data Science, Indiana University School of Medicine（印第安纳大学医学院生物统计学与健康数据科学系）
；
Scripps Research Translational Institute（斯克里普斯研究转化研究所）
；
Courant Institute, New York University（纽约大学柯朗研究所）
；
Center for Biomedical Informatics, Regenstrief Institute（再生斯蒂夫研究所生物医学信息中心）
；
Center for Cognitive Aging and Memory, McKnight Brain Institute, University of Florida（佛罗里达大学麦金托神经研究所认知衰老与记忆中心）
；
Population Health Department, NYU Langone Health（纽约大学兰戈恩健康人口健康部）
；
Radiology Department, NYU Langone Health（纽约大学兰戈恩健康放射科）
机构
*
Nanyang Technological University（南洋理工大学）
；
BraneMatrix AI
；
Nanjing University of Science and Technology（南京理工大学）
；
Northeast University（东北大学）
；
Renmin University of China（中国人民大学）
；
Alibaba Group（阿里巴巴集团）
；
Beihang University（北航）
；
National University of Singapore（新加坡国立大学）
；
Zhejiang Lab（浙江实验室）
专题命中
评测与基准
：large language model(abstract)；language model(abstract)；分类 cs.AI
CommentsICLR 2026 Poster The source code relevant to this article has now been open-sourced; for details, please visit: https://github.com/xunhuang123/CC-BOS
Towards Self-Evolving Benchmarks: Synthesizing Agent Trajectories via Test-Time Exploration under Validate-by-Reproduce Paradigm
迈向自演化基准：通过验证-再生产范式下的测试时间探索合成代理轨迹
Dadi Guo, Tianyi Zhou, Dongrui Liu, Chen Qian, Qihan Ren, Shuai Shao, Zhiyuan Fan, Yi R. Fung, Kun Wang, Linfeng Zhang, Jing Shao
机构
*
Shanghai Artificial Intelligence Laboratory（上海人工智能实验室）
；
Hong Kong University of Science and Technology（香港科技大学）
；
University of Michigan（密歇根大学）
；
Renmin University of China（中国人民大学）
；
Shanghai Jiao Tong University（上海交通大学）
；
Nanyang Technological University（南洋理工大学）
专题命中
评测与基准
：large language model(abstract)；language model(abstract)；分类 cs.AI
Mapping the Challenges of HCI: An Application and Evaluation of ChatGPT for Mining Insights at Scale
映射人机交互的挑战：利用ChatGPT进行大规模洞察挖掘的应用与评估
Jonas Oppenlaender, Joonas Hämäläinen
机构
*
University of Oulu, Center for Applied Computing, Faculty of Information Technology and Electrical Engineering（奥卢大学，应用计算中心，信息科技与电气工程学院）
；
University of Jyväskylä, Software and Communications Engineering, Faculty of Information Technology（耶夫尼耶斯基大学，软件与通信工程，信息科技学院）
专题命中
评测与基准
：large language model(abstract)；language model(abstract)；分类 cs.AI
机构
*
Tsinghua University（清华大学）
；
Beijing University of Posts and Telecommunications（北京邮电大学）
；
Tianjin University（天津大学）
；
Institute of Microelectronics of the Chinese Academy of Sciences（中国科学院微电子研究所）
；
HKUST (Guangzhou)（香港科技大学（广州））
；
National University of Defense Technology（国防科技大学）
；
Beihang University（北航）
；
Beijing Information Science and Technology University（北京信息科技大学）
；
Artificial Intelligence Institute of China Electronics Technology Group Corporation（中国电子科技集团人工智能研究院）
专题命中
评测与基准
：large language model(abstract)；language model(abstract)
机构
*
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
；
Microsoft Research Asia（微软亚洲研究院）
；
Renmin University of China（中国人民大学）
；
Institute of Zoology, Chinese Academy of Sciences（中国科学院动物研究所）
Multitask-Informed Prior for In-Context Learning on Tabular Data: Application to Steel Property Prediction
多任务感知先验用于表格数据上下文学习：应用于钢材性能预测
Dimitrios Sinodinos, Bahareh Nikpour, Jack Yi Wei, Sushant Sinha, Xiaoping Ma, Kashif Rehman, Stephen Yue, Narges Armanfard
机构
*
Dep. of Electrical and Computer Engineering, McGill University（麦吉尔大学电气与计算机工程系）
；
Mila – Québec AI Institute（魁北克AI研究所）
；
Dep. of Mining and Materials Engineering, McGill University（麦吉尔大学采矿与材料工程系）
；
Algoma Steel Inc.（阿尔戈马钢铁公司）
