大模型推理能力 - arXivDaily 专题

2312.06471 2023-12-12 cs.DC cs.LO 50%

A priori Belief Updates as a Method for Agent Self-Recovery

Giorgio Cignarale, Roman Kuznets

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

2311.09817 2023-11-17 cs.CV 50%

Neural-Logic Human-Object Interaction Detection

Liulei Li, Jianan Wei, Wenguan Wang, Yi Yang

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

Comments Accepted to NeurIPS 2023; Code: https://github.com/weijianan1/LogicHOI

2311.02559 2023-11-07 cs.CV 50%

Rotation Invariant Transformer for Recognizing Object in UAVs

Shuoyi Chen, Mang Ye, Bo Du

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

Comments ACM MM2022

2310.15657 2023-10-25 cs.SE 50%

Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model

Zhe Liu, Chunyang Chen, Junjie Wang, Mengzhuo Chen, Boyu Wu, Xing Che, Dandan Wang, Qing Wang

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

Comments Accepted by IEEE/ACM International Conference on Software Engineering 2024 (ICSE 2024)

2309.00095 2023-09-04 cs.SE 50%

Experimenting with ChatGPT for Spreadsheet Formula Generation: Evidence of Risk in AI Generated Spreadsheets

Simon Thorne

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

Comments 15 Pages

Journal ref EuSpRIG Proceedings 2023, ISBN: 978-1-905404-57-5

2308.00477 2023-08-02 cs.LO cs.MA math.LO 50%

A many-sorted epistemic logic for chromatic hypergraphs

Eric Goubault, Roman Kniazev, Jérémy Ledent

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

2307.12265 2023-07-25 cs.LO 50%

Non-Normal Modal Description Logics (Extended Version)

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard

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

2307.10885 2023-07-21 cs.LO 50%

Robust Alternating-Time Temporal Logic

Aniello Murano, Daniel Neider, Martin Zimmermann

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

1812.09987 2023-06-22 cs.DB 50%

Integrity Constraints Revisited: From Exact to Approximate Implication

Batya Kenig, Dan Suciu

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

Journal ref Logical Methods in Computer Science, Volume 18, Issue 1 (January 11, 2022) lmcs:6925

1808.09213 2023-06-22 cs.LO 50%

Nash Equilibrium and Bisimulation Invariance

Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge

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

Journal ref Logical Methods in Computer Science, Volume 15, Issue 3 (September 20, 2019) lmcs:4791

2306.12054 2023-06-22 cs.CV 50%

A Reliable and Interpretable Framework of Multi-view Learning for Liver Fibrosis Staging

Zheyao Gao, Yuanye Liu, Fuping Wu, NanNan Shi, Yuxin Shi, Xiahai Zhuang

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

Comments Early accepted by MICCAI 2023

2304.08587 2023-06-21 cs.RO 50%

Grounding Classical Task Planners via Vision-Language Models

Xiaohan Zhang, Yan Ding, Saeid Amiri, Hao Yang, Andy Kaminski, Chad Esselink, Shiqi Zhang

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

Comments ICRA Workshop on Robot Execution Failures and Failure Management Strategies, 2023

2112.13621 2023-06-19 cs.MA cs.LO 50%

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

Angelo Ferrando, Vadim Malvone

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

2301.09904 2023-05-31 math.LO cs.LO 50%

Dynamic Tangled Derivative Logic of Metric Spaces

David Fernández-Duque, Yoàv Montacute

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

Comments arXiv admin note: text overlap with arXiv:2107.10349

2305.08607 2023-05-16 cs.LO math.LO 50%

Depth-bounded epistemic logic

Farid Arthaud, Martin Rinard

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

Comments 25 pages, 1 figure. To be published in TARK 2023 proceedings

2304.02195 2023-04-06 cs.SE 50%

Explainable Automated Debugging via Large Language Model-driven Scientific Debugging

Sungmin Kang, Bei Chen, Shin Yoo, Jian-Guang Lou

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

2304.01649 2023-04-05 eess.SY cs.SY 50%

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology

Danilo Saccani, Lorenzo Fagiano, Melanie N. Zeilinger, Andrea Carron

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

1405.3608 2023-02-14 cs.LO 50%

On cascade products of answer set programs

Christian Antić

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

Comments Appears in Theory and Practice of Logic Programming

2207.09711 2022-07-21 cs.MA 50%

Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents

Andrea Gatti, Viviana Mascardi

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

Comments In Proceedings AREA 2022, arXiv:2207.09058

Journal ref EPTCS 362, 2022, pp. 65-80

2204.03196 2022-07-14 cs.RO 50%

A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies

Duo Xu, Faramarz Fekri

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

Comments Accepted at IJCNN 2022 (Oral)

2206.03109 2022-06-08 cs.LO math.LO 50%

Relevant Reasoners in a Classical World

Igor Sedlár, Pietro Vigiani

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

Comments To appear in Advances in Modal Logic 2022

2205.13903 2022-05-30 math.LO cs.LO 50%

Subordination Algebras as Semantic Environment of Input/Output Logic

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

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

2205.00876 2022-05-03 cs.LO 50%

On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Côme Neyrand, Sophie Pinchinat

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

2203.15076 2022-03-30 cs.CV 50%

Neurosymbolic hybrid approach to driver collision warning

Kyongsik Yun, Thomas Lu, Alexander Huyen, Patrick Hammer, Pei Wang

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

Comments SPIE Defense and Commercial Sensing 2022

2201.06312 2022-01-26 cs.LO 50%

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman

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

Comments Full version of a tool paper accepted for AAMAS2022

2110.00761 2021-10-05 cs.RO cs.SE 50%

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems

Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan

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

2104.09835 2021-07-13 cs.NI cs.CY eess.SP 50%

WiFiMod: Transformer-based Indoor Human Mobility Modeling using Passive Sensing

Amee Trivedi, Kate Silverstein, Emma Strubell, Mohit Iyyer, Prashant Shenoy

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

Comments 18 pages

2107.02380 2021-07-07 cs.CV 50%

Learning Disentangled Representation Implicitly via Transformer for Occluded Person Re-Identification

Mengxi Jia, Xinhua Cheng, Shijian Lu, Jian Zhang

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

2106.05052 2021-06-10 cs.LO 50%

Choice Logics and Their Computational Properties

Michael Bernreiter, Jan Maly, Stefan Woltran

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

Comments This is an extended version of a paper of the same name to be published at IJCAI 2021

2105.07343 2021-05-18 eess.SY cs.FL cs.RO cs.SY 50%

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray

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

Comments This conference paper has been submitted to the 60th IEEE Conference on Decision and Control (CDC 2021)

1. 逻辑推理 3056 篇

A priori Belief Updates as a Method for Agent Self-Recovery

Neural-Logic Human-Object Interaction Detection

Rotation Invariant Transformer for Recognizing Object in UAVs

Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model

Experimenting with ChatGPT for Spreadsheet Formula Generation: Evidence of Risk in AI Generated Spreadsheets

A many-sorted epistemic logic for chromatic hypergraphs

Non-Normal Modal Description Logics (Extended Version)

Robust Alternating-Time Temporal Logic

Integrity Constraints Revisited: From Exact to Approximate Implication

Nash Equilibrium and Bisimulation Invariance

A Reliable and Interpretable Framework of Multi-view Learning for Liver Fibrosis Staging

Grounding Classical Task Planners via Vision-Language Models

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

Dynamic Tangled Derivative Logic of Metric Spaces

Depth-bounded epistemic logic

Explainable Automated Debugging via Large Language Model-driven Scientific Debugging

Model Predictive Control for Multi-Agent Systems under Limited Communication and Time-Varying Network Topology

On cascade products of answer set programs

Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents

A Framework for Following Temporal Logic Instructions with Unknown Causal Dependencies

Relevant Reasoners in a Classical World

Subordination Algebras as Semantic Environment of Input/Output Logic

On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Neurosymbolic hybrid approach to driver collision warning

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems

WiFiMod: Transformer-based Indoor Human Mobility Modeling using Passive Sensing

Learning Disentangled Representation Implicitly via Transformer for Occluded Person Re-Identification

Choice Logics and Their Computational Properties

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications