IJCAI

Empowering LLMs with Logical Reasoning: A Comprehensive Survey

Fengxiang Cheng, Haoxuan Li, Fenrong Liu, Robert van Rooij, Kun Zhang, Zhouchen Lin

机构 * Institute for Logic, Language and Computation, University of Amsterdam（阿姆斯特丹大学逻辑、语言与计算研究所） ； Center for Data Science, Peking University（北京大学数据科学中心） ； Tsinghua-UvA JRC for Logic, Department of Philosophy, Tsinghua University（清华大学哲学系） ； Machine Learning Department, MBZUAI（MBZUAI机器学习部门） ； Department of Philosophy, CMU（卡内基梅隆大学哲学系） ； State Key Lab of General AI, School of Intelligence Science and Technology, Peking University（北京大学人工智能通用实验室） ； Institute for Artificial Intelligence, Peking University（北京大学人工智能研究所） ； Pazhou Laboratory (Huangpu), Guangzhou（广州黄埔实验室） 纠错

Comments Accepted by IJCAI 2025 (Survey Track)

New Algorithms for #2-SAT and #3-SAT

Junqiang Peng, Zimo Sheng, Mingyu Xiao

Comments Accepted by IJCAI 2025

Strategyproofness and Monotone Allocation of Auction in Social Networks

Yuhang Guo, Dong Hao, Bin Li, Mingyu Xiao, Bakh Khoussainov

机构 * SCSE, University of Electronic Science and Technology of China（电子科技大学信息与通信工程学院） ； AI-HSS, University of Electronic Science and Technology of China（电子科技大学人工智能与社会科学学院） ； SCSE, Nanjing University of Science and Technology（南京理工大学信息工程学院） ； University of New South Wales（新南威尔士大学） 纠错

Comments Accepted by IJCAI 2025