大模型推理能力

Long-range gene expression prediction with token alignment of large language model

Edouardo Honig, Huixin Zhan, Ying Nian Wu, Zijun Frank Zhang

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

Comments 14 pages, 10 figures

Addition is All You Need for Energy-efficient Language Models

Hongyin Luo, Wei Sun

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

Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture

Zishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Chaojian Li, Haoran You, Yonggan Fu, Cheng Wan, Sixu Li, Youbin Kim, Ananda Samajdar, Yingyan Celine Lin, Mohamed Ibrahim, Jan M. Rabaey, Tushar Krishna, Arijit Raychowdhury

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

Comments 14 pages, 11 figures, 7 tables; IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI), 2024

The Ability of Large Language Models to Evaluate Constraint-satisfaction in Agent Responses to Open-ended Requests

Lior Madmoni, Amir Zait, Ilia Labzovsky, Danny Karmon

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

Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

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

Simulation-based Scenario Generation for Robust Hybrid AI for Autonomy

Hambisa Keno, Nicholas J. Pioch, Christopher Guagliano, Timothy H. Chung

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

Comments 6 pages, 5 figures, 1 table

Sirius: Contextual Sparsity with Correction for Efficient LLMs

Yang Zhou, Zhuoming Chen, Zhaozhuo Xu, Victoria Lin, Beidi Chen

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

Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction

Aidan Curtis, Nishanth Kumar, Jing Cao, Tomás Lozano-Pérez, Leslie Pack Kaelbling

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

Symbolic Working Memory Enhances Language Models for Complex Rule Application

Siyuan Wang, Zhongyu Wei, Yejin Choi, Xiang Ren

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

Differentiable Logic Programming for Distant Supervision

Akihiro Takemura, Katsumi Inoue

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

Comments Updated Figure 1 and fixed the overlapping caption issue. 11 pages including the appendix. To be published in ECAI 2024

Neuro-Symbolic AI for Military Applications

Desta Haileselassie Hagos, Danda B. Rawat

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

Comments Accepted at IEEE Transactions on Artificial Intelligence (TAI)

On scalable oversight with weak LLMs judging strong LLMs

Zachary Kenton, Noah Y. Siegel, János Kramár, Jonah Brown-Cohen, Samuel Albanie, Jannis Bulian, Rishabh Agarwal, David Lindner, Yunhao Tang, Noah D. Goodman, Rohin Shah

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

Comments 15 pages (53 including appendices). V2: minor correction to Figure 3; add Figure A.9 comparing open vs assigned consultancy; add a reference

Semantic Graphs for Syntactic Simplification: A Revisit from the Age of LLM

Peiran Yao, Kostyantyn Guzhva, Denilson Barbosa

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

Comments Accepted at TextGraphs-17 @ ACL 2024

Improving Large Language Models via Fine-grained Reinforcement Learning with Minimum Editing Constraint

Zhipeng Chen, Kun Zhou, Wayne Xin Zhao, Junchen Wan, Fuzheng Zhang, Di Zhang, Ji-Rong Wen

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

Comments 18 pages, Findings of ACL2024

EXPIL: Explanatory Predicate Invention for Learning in Games

Jingyuan Sha, Hikaru Shindo, Quentin Delfosse, Kristian Kersting, Devendra Singh Dhami

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

Comments 9 pages, 2 pages references, 8 figures, 3 tables

Envisioning Outlier Exposure by Large Language Models for Out-of-Distribution Detection

Chentao Cao, Zhun Zhong, Zhanke Zhou, Yang Liu, Tongliang Liu, Bo Han

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

Comments ICML 2024

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