大模型推理能力

Mastering Symbolic Operations: Augmenting Language Models with Compiled Neural Networks

Yixuan Weng, Minjun Zhu, Fei Xia, Bin Li, Shizhu He, Kang Liu, Jun Zhao

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted in ICLR 2024

Logic Rules as Explanations for Legal Case Retrieval

Zhongxiang Sun, Kepu Zhang, Weijie Yu, Haoyu Wang, Jun Xu

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments accepted by lrec-coling 2024

Don't Ignore Dual Logic Ability of LLMs while Privatizing: A Data-Intensive Analysis in Medical Domain

Yanrui Du, Sendong Zhao, Muzhen Cai, Ming Ma, Danyang Zhao, Jiawei Cao, Bing Qin

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Bayesian Strategic Classification

Lee Cohen, Saeed Sharifi-Malvajerdi, Kevin Stangl, Ali Vakilian, Juba Ziani

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

Interpretability at Scale: Identifying Causal Mechanisms in Alpaca

Zhengxuan Wu, Atticus Geiger, Thomas Icard, Christopher Potts, Noah D. Goodman

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments NeurIPS 2023 with Author Corrections

Human-Like Geometric Abstraction in Large Pre-trained Neural Networks

Declan Campbell, Sreejan Kumar, Tyler Giallanza, Thomas L. Griffiths, Jonathan D. Cohen

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Reinforcement Learning with Ensemble Model Predictive Safety Certification

Sven Gronauer, Tom Haider, Felippe Schmoeller da Roza, Klaus Diepold

专题命中 逻辑推理 ：planning(abstract)；分类 cs.LG

Comments Published in: Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024)

LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation

Ruizhe Zhong, Xingbo Du, Shixiong Kai, Zhentao Tang, Siyuan Xu, Hui-Ling Zhen, Jianye Hao, Qiang Xu, Mingxuan Yuan, Junchi Yan

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 15 pages, 4 figures

Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI

Zishen Wan, Che-Kai Liu, Hanchen Yang, Chaojian Li, Haoran You, Yonggan Fu, Cheng Wan, Tushar Krishna, Yingyan Lin, Arijit Raychowdhury

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Workshop on Systems for Next-Gen AI Paradigms, 6th Conference on Machine Learning and Systems (MLSys), June 4-8, 2023, Miami, FL, USA

From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey

Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments To appear in Artificial Intelligence. Shorter version at IJCAI 2020 survey track, https://www.ijcai.org/proceedings/2020/0688.pdf

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

Jinzhao Li, Nan Jiang, Yexiang Xue

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking

Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.LG

Comments To appear in 62nd IEEE Conference on Decision and Control (CDC). For supplemental material, see here https://dfki-ric-underactuated-lab.github.io/orthant_rewards_biped_rl/

Agents: An Open-source Framework for Autonomous Language Agents

Wangchunshu Zhou, Yuchen Eleanor Jiang, Long Li, Jialong Wu, Tiannan Wang, Shi Qiu, Jintian Zhang, Jing Chen, Ruipu Wu, Shuai Wang, Shiding Zhu, Jiyu Chen, Wentao Zhang, Xiangru Tang, Ningyu Zhang, Huajun Chen, Peng Cui, Mrinmaya Sachan

专题命中 逻辑推理 ：planning(abstract)；分类 cs.CL

Comments Code available at https://github.com/aiwaves-cn/agents

NovaCOMET: Open Commonsense Foundation Models with Symbolic Knowledge Distillation

Peter West, Ronan Le Bras, Taylor Sorensen, Bill Yuchen Lin, Liwei Jiang, Ximing Lu, Khyathi Chandu, Jack Hessel, Ashutosh Baheti, Chandra Bhagavatula, Yejin Choi

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

KEN: Kernel Extensions using Natural Language

Yusheng Zheng, Yiwei Yang, Maolin Chen, Andrew Quinn

专题命中 逻辑推理 ：verifier(abstract)；分类 cs.AI

Exploring the Limits of ChatGPT in Software Security Applications

Fangzhou Wu, Qingzhao Zhang, Ati Priya Bajaj, Tiffany Bao, Ning Zhang, Ruoyu "Fish" Wang, Chaowei Xiao

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

GPT-RE: In-context Learning for Relation Extraction using Large Language Models

Zhen Wan, Fei Cheng, Zhuoyuan Mao, Qianying Liu, Haiyue Song, Jiwei Li, Sadao Kurohashi

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted by EMNLP 2023 Main Conference (long paper)

Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Accepted to the journal Artificial Intelligence (AI); an extended version of the KR'21 conference paper https://proceedings.kr.org/2021/39/

Journal ref Artificial Intelligence, Vol.326, 104045, Elsevier, 2024

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

QA-NatVer: Question Answering for Natural Logic-based Fact Verification

Rami Aly, Marek Strong, Andreas Vlachos

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments EMNLP 2023

Solving Multi-Agent Target Assignment and Path Finding with a Single Constraint Tree

Yimin Tang, Zhongqiang Ren, Jiaoyang Li, Katia Sycara

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

Question Answering as Programming for Solving Time-Sensitive Questions

Xinyu Zhu, Cheng Yang, Bei Chen, Siheng Li, Jian-Guang Lou, Yujiu Yang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted to EMNLP 2023 Main Conference

Synergistic Integration of Large Language Models and Cognitive Architectures for Robust AI: An Exploratory Analysis

Oscar J. Romero, John Zimmerman, Aaron Steinfeld, Anthony Tomasic

专题命中 逻辑推理 ：chain-of-thought(abstract)；分类 cs.AI

Comments AAAI 2023 Fall Symposium

On Exploiting Hitting Sets for Model Reconciliation

Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh

专题命中 逻辑推理 ：planning(abstract)；分类 cs.AI

DISC-LawLLM: Fine-tuning Large Language Models for Intelligent Legal Services

Shengbin Yue, Wei Chen, Siyuan Wang, Bingxuan Li, Chenchen Shen, Shujun Liu, Yuxuan Zhou, Yao Xiao, Song Yun, Xuanjing Huang, Zhongyu Wei

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

CoRRPUS: Code-based Structured Prompting for Neurosymbolic Story Understanding

Yijiang River Dong, Lara J. Martin, Chris Callison-Burch

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL

Comments Accepted to Findings of ACL 2023

Journal ref Findings of ACL 2023, pp. 13152-13168

Neuro-Symbolic Recommendation Model based on Logic Query

Maonian Wu, Bang Chen, Shaojun Zhu, Bo Zheng, Wei Peng, Mingyi Zhang

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 17 pages, 6 figures

Strong-AI Autoepistemic Robots Build on Intensional First Order Logic

Zoran Majkic

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 25 pages, 2 figures

TRIVEA: Transparent Ranking Interpretation using Visual Explanation of Black-Box Algorithmic Rankers

Jun Yuan, Kaustav Bhattacharjee, Akm Zahirul Islam, Aritra Dasgupta

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments Accepted for publication in SpringerNature's Visual Computer Journal

Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge

Rineke Verbrugge

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Journal ref EPTCS 379, 2023