大模型推理能力 - arXivDaily 专题

2405.04697 2024-10-07 cs.CC cs.LO 50%

The Existential Theory of the Reals with Summation Operators

Markus Bläser, Julian Dörfler, Maciej Liskiewicz, Benito van der Zander

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

Comments ISAAC 2024

2312.06164 2024-10-01 cs.CV 50%

ReshapeIT: Reliable Shape Interaction with Implicit Template for Anatomical Structure Reconstruction

Minghui Zhang, Hao Zheng, Yawen Huang, Ling Shao, Yun Gu

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

2409.09271 2024-09-17 cs.SE cs.PL 50%

Python Symbolic Execution with LLM-powered Code Generation

Wenhan Wang, Kaibo Liu, An Ran Chen, Ge Li, Zhi Jin, Gang Huang, Lei Ma

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

2409.03385 2024-09-06 cs.CV cs.MM 50%

Make Graph-based Referring Expression Comprehension Great Again through Expression-guided Dynamic Gating and Regression

Jingcheng Ke, Dele Wang, Jun-Cheng Chen, I-Hong Jhuo, Chia-Wen Lin, Yen-Yu Lin

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

Comments 12 pages to appear in IEEE Transactions on Multimedia

2408.05123 2024-08-12 cs.HC 50%

Sportify: Question Answering with Embedded Visualizations and Personified Narratives for Sports Video

Chunggi Lee, Tica Lin, Hanspeter Pfister, Chen Zhu-Tian

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

Comments 14 pages, 8 figures, conference

2407.18470 2024-07-29 cs.IR 50%

Synergizing Knowledge Graphs with Large Language Models: A Comprehensive Review and Future Prospects

DaiFeng Li, Fan Xu

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

2407.11422 2024-07-17 cs.CV 50%

Reflective Instruction Tuning: Mitigating Hallucinations in Large Vision-Language Models

Jinrui Zhang, Teng Wang, Haigang Zhang, Ping Lu, Feng Zheng

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

Comments To appear at ECCV2024

2401.06451 2024-07-03 cs.DC 50%

A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems

Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid

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

Comments Extended preprint

Journal ref Proceedings of IJCAR 2024, LNAI v. 14740 (2024), pp. 114-134

2407.00252 2024-07-02 cs.CV cs.ET 50%

Assistive Image Annotation Systems with Deep Learning and Natural Language Capabilities: A Review

Moseli Mots'oehli

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

Comments Accepted IEEE ETNCC 2024, 9 pages

2404.16061 2024-05-20 cs.LO econ.TH 50%

Dynamic Many Valued Logic Systems in Theoretical Economics

Daniel Lu

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

2209.12506 2024-04-10 cs.MA 50%

Constrained Multi-Agent Path Finding on Directed Graphs

Stefano Ardizzoni, Luca Consolini, Marco Locatelli, Irene Saccani

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

Journal ref Automatica, Volume 165, July 2024, 111593

2402.08282 2024-02-14 cs.MA cs.LO 50%

Logic of Awareness for Nested Knowledge

Yudai Kubono

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

Comments 30 pages, This is an author's original manuscript

2203.07283 2024-02-14 cs.LO 50%

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

Raven Beutner, Bernd Finkbeiner

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

Journal ref Logical Methods in Computer Science, Volume 19, Issue 2 (May 31, 2023) lmcs:9209

2402.04566 2024-02-08 eess.IV cs.CV 50%

Triplet-constraint Transformer with Multi-scale Refinement for Dose Prediction in Radiotherapy

Lu Wen, Qihun Zhang, Zhenghao Feng, Yuanyuan Xu, Xiao Chen, Jiliu Zhou, Yan Wang

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

Comments accepted by 2024 IEEE ISBI

2402.03273 2024-02-06 cs.DS cs.LO 50%

Algorithms and Complexity of Difference Logic

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

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

Comments This is an strongly extended version of two conference papers with the same authors that appeared at KR 2020 (Title: Fine-Grained Complexity of Temporal Problems) and AAAI 2021 (Title: Disjunctive Temporal Problems under Structural Restrictions)

2401.09742 2024-02-01 cs.CV 50%

Image Translation as Diffusion Visual Programmers

Cheng Han, James C. Liang, Qifan Wang, Majid Rabbani, Sohail Dianat, Raghuveer Rao, Ying Nian Wu, Dongfang Liu

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

Comments 25 pages, 20 figures

2305.05731 2024-01-31 cs.LO cs.CY cs.PL 50%

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

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

2401.13369 2024-01-25 cs.LO 50%

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents

Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev

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

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

1. 逻辑推理 3046 篇

The Existential Theory of the Reals with Summation Operators

ReshapeIT: Reliable Shape Interaction with Implicit Template for Anatomical Structure Reconstruction

Python Symbolic Execution with LLM-powered Code Generation

Make Graph-based Referring Expression Comprehension Great Again through Expression-guided Dynamic Gating and Regression

Sportify: Question Answering with Embedded Visualizations and Personified Narratives for Sports Video

Synergizing Knowledge Graphs with Large Language Models: A Comprehensive Review and Future Prospects

Reflective Instruction Tuning: Mitigating Hallucinations in Large Vision-Language Models

A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems

Assistive Image Annotation Systems with Deep Learning and Natural Language Capabilities: A Review

Dynamic Many Valued Logic Systems in Theoretical Economics

Constrained Multi-Agent Path Finding on Directed Graphs

Logic of Awareness for Nested Knowledge

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

Triplet-constraint Transformer with Multi-scale Refinement for Dose Prediction in Radiotherapy

Algorithms and Complexity of Difference Logic

Image Translation as Diffusion Visual Programmers

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents

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