大模型推理能力

TELLER: A Trustworthy Framework for Explainable, Generalizable and Controllable Fake News Detection

Hui Liu, Wenya Wang, Haoru Li, Haoliang Li

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

Comments Accepted by Findings of ACL 2024. 28 pages, 2 figures, 16 tables

Large Language Models can Deliver Accurate and Interpretable Time Series Anomaly Detection

Jun Liu, Chaoyun Zhang, Jiaxu Qian, Minghua Ma, Si Qin, Chetan Bansal, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang

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

Discovering Abstract Symbolic Relations by Learning Unitary Group Representations

Dongsung Huh

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

Advancing Frontiers in SLAM: A Survey of Symbolic Representation and Human-Machine Teaming in Environmental Mapping

Brandon Curtis Colelough

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

Comments 8 pages, 1 figure

Monitoring Second-Order Hyperproperties

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger

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

Comments AAMAS 2024

Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective

Yijie Chen, Yijin Liu, Fandong Meng, Yufeng Chen, Jinan Xu, Jie Zhou

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

Comments The code is publicly available at https://github.com/pppa2019/Mango

Bootstrapping Developmental AIs: From Simple Competences to Intelligent Human-Compatible AIs

Mark Stefik, Robert Price

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

Comments 112 pages, 28 figures, 4 tables

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models

Julia Rozanova, Marco Valentino, André Freitas

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

Comments Accepted to LREC-COLING 2024 - Camera Ready. arXiv admin note: substantial text overlap with arXiv:2305.08572

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models

Julia Rozanova, Marco Valentino, Andre Freitas

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

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs

Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue

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

Comments 12 pages, 8 figures

Enhancing Multi-Domain Automatic Short Answer Grading through an Explainable Neuro-Symbolic Pipeline

Felix Künnecke, Anna Filighera, Colin Leong, Tim Steuer

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

xLP: Explainable Link Prediction for Master Data Management

Balaji Ganesan, Matheen Ahmed Pasha, Srinivasa Parkala, Neeraj R Singh, Gayatri Mishra, Sumit Bhatia, Hima Patel, Somashekar Naganna, Sameep Mehta

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

Comments 8 pages, 4 figures, NeurIPS 2020 Competition and Demonstration Track. arXiv admin note: text overlap with arXiv:2012.05516

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots

Samuele Vinanzi, Angelo Cangelosi

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

Comments 16 pages, 13 figures

Journal ref Vinanzi, S., Cangelosi, A. CASPER: Cognitive Architecture for Social Perception and Engagement in Robots. Int J of Soc Robotics (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

Raven Beutner, Bernd Finkbeiner

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

Comments AAAI 2024

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