大模型推理能力

Follow the Rules: Reasoning for Video Anomaly Detection with Large Language Models

Yuchen Yang, Kwonjoon Lee, Behzad Dariush, Yinzhi Cao, Shao-Yuan Lo

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Accepted at European Conference on Computer Vision (ECCV) 2024

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

Mark Marron

专题命中 逻辑推理 ：reasoning(title,abstract)

ALGO: Object-Grounded Visual Commonsense Reasoning for Open-World Egocentric Action Recognition

Sanjoy Kundu, Shubham Trehan, Sathyanarayanan N. Aakur

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Extended abstract of arXiv:2305.16602 for CVPR EgoVis Workshop

Towards a Distributed Platform for Normative Reasoning and Value Alignment in Multi-Agent Systems

Miguel Garcia-Bohigues, Carmengelys Cordova, Joaquin Taverner, Javier Palanca, Elena del Val, Estefania Argente

专题命中 逻辑推理 ：reasoning(title,abstract)

Robots Can Feel: LLM-based Framework for Robot Ethical Reasoning

Artem Lykov, Miguel Altamirano Cabrera, Koffivi Fidèle Gbagbe, Dzmitry Tsetserukou

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments The paper is submitted to the IEEE conference

Discovering Novel Actions from Open World Egocentric Videos with Object-Grounded Visual Commonsense Reasoning

Sanjoy Kundu, Shubham Trehan, Sathyanarayanan N. Aakur

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments 25 Pages, 4 figures, 3 tables

Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning

Xiaoqian Wu, Yong-Lu Li, Jianhua Sun, Cewu Lu

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Accepted by NeurIPS 2023

GENOME: GenerativE Neuro-symbOlic visual reasoning by growing and reusing ModulEs

Zhenfang Chen, Rui Sun, Wenjun Liu, Yining Hong, Chuang Gan

专题命中 逻辑推理 ：reasoning(title,abstract)

Complexity of Reasoning with Cardinality Minimality Conditions

Nadia Creignou, Frédéric Olive, Johannes Schmidt

专题命中 逻辑推理 ：reasoning(title,abstract)

Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal-Logic Tasks

Christos Verginis

专题命中 逻辑推理 ：planning(title,abstract)

Comments PhD thesis; also available at http://kth.diva-portal.org/smash/get/diva2:1427745/FULLTEXT01.pdf

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)

Daniel Stan, Anthony Widjaja Lin

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Extended version, version of record accepted at the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-21)

Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps

Yiannis Kantaros, Matthew Malencia, George J. Pappas

专题命中 逻辑推理 ：planning(title,abstract)

The P-T Probability Framework for Semantic Communication, Falsification, Confirmation, and Bayesian Reasoning

Chenguang Lu

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments 36 pages; 10 Figures

Journal ref Philosophies 2020, 5(4), 25

Tractable reasoning about Agent Programming in Dynamic Preference Logic

Marlo Souza, Álvaro Moreira, Renata Vieira

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Published in BRACIS 2018

A Dynamic Preference Logic for reasoning about Agent Programming

Marlo Souza, Álvaro Moreira, Renata Vieira, John-Jules Ch. Meyer

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments piblished on BRACIS 2017

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

Yifeng Ding, Wesley H. Holliday, Cedegao Zhang

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments In Proceedings TARK 2019, arXiv:1907.08335

Journal ref EPTCS 297, 2019, pp. 121-139

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic

Ramit Das, R. Ramanujam, Sunil Simon

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments In Proceedings TARK 2019, arXiv:1907.08335

Journal ref EPTCS 297, 2019, pp. 106-120

Learning Grasp Affordance Reasoning through Semantic Relations

Paola Ardón, Èric Pairet, Ronald P. A. Petrick, Subramanian Ramamoorthy, Katrin S. Lohan

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Accepted in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2019

Reasoning about Quality and Fuzziness of Strategic Behaviours

Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

专题命中 逻辑推理 ：reasoning(title,abstract)

Reasoning about Cognitive Trust in Stochastic Multiagent Systems

Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments to be published in TOCL ACM journal

Reasoning about Strategies: on the Satisfiability Problem

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments arXiv admin note: text overlap with arXiv:1112.6275, arXiv:1202.1309

Journal ref Logical Methods in Computer Science, Volume 13, Issue 1 (March 17, 2017) lmcs:3204

A modal aleatoric calculus for probabilistic reasoning: extended version

Tim French, Andrew Gozzard, Mark Reynolds

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Long version of paper accepted to appear at the 2019 Indian Conference on Logic and Applictaions

Computing consensus: A logic for reasoning about deliberative processes based on argumentation

Truls Pedersen, Sjur Dyrkolbotn

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments Presented at the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013)

Reasoning About Strategies: On the Model-Checking Problem

Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

专题命中 逻辑推理 ：reasoning(title,abstract)

The Complexity of Reasoning for Fragments of Autoepistemic Logic

Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer

专题命中 逻辑推理 ：reasoning(title,abstract)

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Mehrnoosh Sadrzadeh, Roy Dyckhoff

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments This paper is the full version of the article that is to appear in the ENTCS proceedings of the 25th conference on the Mathematical Foundations of Programming Semantics (MFPS), April 2009, University of Oxford

Reasoning About Knowledge of Unawareness

Joseph Y. halpern, Leandro Chaves Rego

专题命中 逻辑推理 ：reasoning(title,abstract)

Comments 32 pages

FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation

形式分析几何：一种基于神经符号的多模态解析几何问题生成框架

Ruoran Xu, Wending Gao, Xiaoqing Kang, Qiufeng Wang

机构 * Xi’an Jiaotong-Liverpool University（西交利物浦大学） 纠错

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

AI总结 研究解析几何问题生成，提出基于神经符号的FormalAnalyticGeo框架，利用CDL及四个大语言模型组件，无需人工注释自动生成问题，形成闭环，生成的AnalyticGeo7K数据集问题误差小，框架和数据集将公开。

DIVE: Unlocking Self-Improvement in Frozen Language Models Through Diversity-Driven Skill Evolution

DIVE：通过多样性驱动的技能进化解锁冻结语言模型的自我提升

Siheng Xiong, Ali Payani, Oguzhan Gungordu, Faramarz Fekri

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

AI总结 DIVE是一种多样性驱动的无参数框架，可让冻结LLM从任务经验和验证器反馈中进化出自然语言技能，在多项推理任务上优于现有方法，还能实现模型间技能迁移，让小模型性能匹配或超越大模型。

From Brute Force to Semantic Insight: Performance-Guided Data Transformation Design with LLMs

从暴力到语义洞察：基于LLM的性能引导数据转换设计

Usha Shrestha, Dmitry Ignatov, Radu Timofte

机构 * Computer Vision Lab, CAIDAS & IFI, University of Würzburg（计算机视觉实验室、CAIDAS与IFI、乌尔姆大学） 纠错

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

AI总结 本文提出了一种基于LLM的性能引导数据转换设计方法，通过经验反馈实现闭环优化，减少穷举搜索需求，提升代码生成的准确性与任务对齐性。