大模型推理能力

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

Legal Syllogism Prompting: Teaching Large Language Models for Legal Judgment Prediction

Cong Jiang, Xiaolei Yang

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

Comments Nineteenth International Conference on Artificial Intelligence and Law (ICAIL 2023)

Depth-bounded Epistemic Logic

Farid Arthaud, Martin Rinard

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

Comments In Proceedings TARK 2023, arXiv:2307.04005

Journal ref EPTCS 379, 2023, pp. 46-65

Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

Paul Tarau

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

Comments 23 pages, 1 figure, more information at https://github.com/ptarau/recursors

Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models

Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo

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

Comments arXiv admin note: substantial text overlap with arXiv:2103.11692

Scalable Neural-Probabilistic Answer Set Programming

Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami, Kristian Kersting

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

Comments 37 pages, 14 figures

SNeL: A Structured Neuro-Symbolic Language for Entity-Based Multimodal Scene Understanding

Silvan Ferreira, Allan Martins, Ivanovitch Silva

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