大模型推理能力

Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges

Chandan K Reddy, Parshin Shojaee

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments AAAI 2025

Effective Generative AI: The Human-Algorithm Centaur

Soroush Saghafian, Lihi Idan

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments To Appear in SI: Future Shock, Harvard Data Science Review (https://hdsr.mitpress.mit.edu/specialissue5)

Journal ref Harvard Data Science Review (2024)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap

Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 24 pages, 4 figures

Theoretical limitations of multi-layer Transformer

Lijie Chen, Binghui Peng, Hongxun Wu

专题命中 代码与定理证明 ：chain-of-thought(abstract)；分类 cs.AI、cs.LG

CliMB: An AI-enabled Partner for Clinical Predictive Modeling

Evgeny Saveliev, Tim Schubert, Thomas Pouplin, Vasilis Kosmoliaptsis, Mihaela van der Schaar

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.AI、cs.LG

Comments * Evgeny Saveliev and Tim Schubert contributed equally to this work

Neurosymbolic Graph Enrichment for Grounded World Models

Stefano De Giorgis, Aldo Gangemi, Alessandro Russo

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Mitigating Gender Bias in Contextual Word Embeddings

Navya Yarrabelly, Vinay Damodaran, Feng-Guang Su

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.LG

Examining Inter-Consistency of Large Language Models Collaboration: An In-depth Analysis via Debate

Kai Xiong, Xiao Ding, Yixin Cao, Ting Liu, Bing Qin

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments EMNLP 2023 Findings Camera Ready Version

GemNet: Menu-Based, Strategy-Proof Multi-Bidder Auctions Through Deep Learning

Tonghan Wang, Yanchen Jiang, David C. Parkes

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments This paper received the Exemplary Paper Award for the AI track at the Twenty-Fifth ACM Conference on Economics and Computation (ACM EC '24), where it appeared as an extended abstract; The first two authors contributed equally to this work

Prove Your Point!: Bringing Proof-Enhancement Principles to Argumentative Essay Generation

Ruiyu Xiao, Lei Wu, Yuhang Gou, Weinan Zhang, Ting Liu

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.CL、cs.AI

Comments EMNLP 2024

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff

Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Formal Explanations for Neuro-Symbolic AI

Sushmita Paul, Jinqiang Yu, Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Process-Driven Autoformalization in Lean 4

Jianqiao Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Jing Xiong, Chengwu Liu, Jianhao Shen, Hui Jin, Jipeng Zhang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.LG

Comments 32 pages, 1 figures, 15 tables

Building FKG.in: a Knowledge Graph for Indian Food

Saransh Kumar Gupta, Lipika Dey, Partha Pratim Das, Ramesh Jain

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 14 pages, 3 figures, 25 references, Formal Ontology in Information Systems Conference 2024 - Integrated Food Ontology Workshop

LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

Zijian Wu, Jiayu Wang, Dahua Lin, Kai Chen

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Disentangled Representations for Causal Cognition

Filippo Torresan, Manuel Baltieri

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments 49 pages, 9 figures

Eliciting Problem Specifications via Large Language Models

Robert E. Wray, James R. Kirk, John E. Laird

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 18 pages, Appendix. Revised in response to reviewer feedback. Accepted for Advances in Cognitive Systems (Jun 2024, Palermo)

Multi-hop Question Answering

Vaibhav Mavi, Anubhav Jangra, Adam Jatowt

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Published at Foundations and Trends in Information Retrieval

HALO: An Ontology for Representing and Categorizing Hallucinations in Large Language Models

Navapat Nananukul, Mayank Kejriwal

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments This paper has been accepted and orally presented in "SPIE Defense + Commercial Sensing (DCS 2024)" in National Harbor, Maryland, April 2024

Fine-Tuning Language Models Using Formal Methods Feedback

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.CL、cs.AI

Magnushammer: A Transformer-Based Approach to Premise Selection

Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Comments ICLR 2024

SwissNYF: Tool Grounded LLM Agents for Black Box Setting

Somnath Sendhil Kumar, Dhruv Jain, Eshaan Agarwal, Raunak Pandey

专题命中 代码与定理证明 ：planning(abstract)；分类 cs.CL、cs.AI

Anytime Approximate Formal Feature Attribution

Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Towards Concept-Aware Large Language Models

Chen Shani, Jilles Vreeken, Dafna Shahaf

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments EMNLP 2023 findings long paper

Language Models with Rationality

Nora Kassner, Oyvind Tafjord, Ashish Sabharwal, Kyle Richardson, Hinrich Schuetze, Peter Clark

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Large Language Model for Science: A Study on P vs. NP

Qingxiu Dong, Li Dong, Ke Xu, Guangyan Zhou, Yaru Hao, Zhifang Sui, Furu Wei

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments 73 pages

Hardness of Deceptive Certificate Selection

Stephan Wäldchen

专题命中 代码与定理证明 ：verifier(abstract)；分类 cs.AI、cs.LG

Comments 15 pages, 3 figures

Leveraging Large Language Models in Conversational Recommender Systems

Luke Friedman, Sameer Ahuja, David Allen, Zhenning Tan, Hakim Sidahmed, Changbo Long, Jun Xie, Gabriel Schubiner, Ajay Patel, Harsh Lara, Brian Chu, Zexi Chen, Manoj Tiwari

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.LG

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI、cs.LG

Exploring Length Generalization in Large Language Models

Cem Anil, Yuhuai Wu, Anders Andreassen, Aitor Lewkowycz, Vedant Misra, Vinay Ramasesh, Ambrose Slone, Guy Gur-Ari, Ethan Dyer, Behnam Neyshabur

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL、cs.LG