Vul-R2: A Reasoning LLM for Automated Vulnerability Repair
Xin-Cheng Wen, Zirui Lin, Yijun Yang, Cuiyun Gao, Deheng Ye
机构
*
Tencent Inc.(腾讯公司)
;
Department of Computer Science, City University of Hong Kong(香港城市大学计算机科学系)
;
Department of Computer Science and Engineering, The Chinese University of Hong Kong(香港中文大学计算机科学与工程系)
专题命中
推理与问题求解
:LLM(title,abstract);large language model(abstract);language model(abstract);foundation model(abstract)
Comments13 pages, 8 figures. This paper is accepted by ASE 2025
Can foundation models actively gather information in interactive environments to test hypotheses?
Danny P. Sawyer, Nan Rosemary Ke, Hubert Soyer, Martin Engelcke, David P Reichert, Drew A. Hudson, John Reid, Alexander Lerchner, Danilo Jimenez Rezende, Timothy P Lillicrap, Michael Mozer, Jane X Wang
Classical AI vs. LLMs for Decision-Maker Alignment in Health Insurance Choices
Mallika Mainali, Harsha Sureshbabu, Anik Sen, Christopher B. Rauch, Noah D. Reifsnyder, John Meyer, J. T. Turner, Michael W. Floyd, Matthew Molineaux, Rosina O. Weber
机构
*
Information Science, Drexel University, Philadelphia, PA 19104 USA
;
Parallax Advanced Research, 4035 Colonel Glenn Hwy, Beavercreek, OH 45431 USA
;
Knexus Research, 174 Waterfront Street, Suite 310, National Harbor, Oxon Hill, MD 20745 USA
;
Information Science \& Computer Science, Drexel University, Philadelphia, PA 19104 USA
专题命中
推理与问题求解
:LLM(abstract);large language model(abstract);language model(abstract);prompting(abstract)
Comments15 pages, 3 figures. Accepted at the Twelfth Annual Conference on Advances in Cognitive Systems (ACS 2025)
Let it Calm: Exploratory Annealed Decoding for Verifiable Reinforcement Learning
Chenghao Yang, Lin Gui, Chenxiao Yang, Victor Veitch, Lizhu Zhang, Zhuokai Zhao
机构
*
Department of Computer Science, University of Chicago(芝加哥大学计算机科学系)
;
Department of Statistics, University of Chicago(芝加哥大学统计系)
;
Toyota Technological Insitute at Chicago(芝加哥丰田技术研究所)
;
Data Science Institute, University of Chicago(芝加哥大学数据科学研究所)
;
Meta AI
专题命中
推理与问题求解
:LLM(abstract);large language model(abstract);language model(abstract);分类 cs.CL、cs.LG
Biomedical reasoning in action: Multi-agent System for Auditable Biomedical Evidence Synthesis
Oskar Wysocki, Magdalena Wysocka, Mauricio Jacobo, Harriet Unsworth, André Freitas
机构
*
Idiap Research Institute(IDiap研究 institute)
;
National Biomarker Centre (NBC) CRUK Manchester Institute(国家生物标记中心(NBC)CRUK曼彻斯特研究所)
;
Department of Computer Science University of Manchester, UK(计算机科学系曼彻斯特大学)
专题命中
推理与问题求解
:LLM(abstract);large language model(abstract);language model(abstract);分类 cs.AI
DynaGuard: A Dynamic Guardian Model With User-Defined Policies
Monte Hoover, Vatsal Baherwani, Neel Jain, Khalid Saifullah, Joseph Vincent, Chirag Jain, Melissa Kazemi Rad, C. Bayan Bruss, Ashwinee Panda, Tom Goldstein
Residualized Similarity for Faithfully Explainable Authorship Verification
Peter Zeng, Pegah Alipoormolabashi, Jihu Mun, Gourab Dey, Nikita Soni, Niranjan Balasubramanian, Owen Rambow, H. Schwartz
机构
*
Department of Computer Science(计算机科学系)
;
Department of Linguistics(语言学系)
;
Institute for Advanced Computational Science(先进计算科学研究院)
;
Stony Brook University(石溪大学)