大模型推理能力 - arXivDaily 专题

2412.05679 2024-12-11 cs.CV 50%

RSUniVLM: A Unified Vision Language Model for Remote Sensing via Granularity-oriented Mixture of Experts

Xu Liu, Zhouhui Lian

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

2412.01005 2024-12-03 cs.SE 50%

Identifying Root Causes of Null Pointer Exceptions with Logical Inferences

Jindae Kim, Jaewoo Song

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

Comments 22 pages

2408.11545 2024-11-27 cs.CV 50%

UNetMamba: An Efficient UNet-Like Mamba for Semantic Segmentation of High-Resolution Remote Sensing Images

Enze Zhu, Zhan Chen, Dingkai Wang, Hanru Shi, Xiaoxuan Liu, Lei Wang

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

Comments 5 pages, 3 figures

2104.14892 2024-11-19 cs.MA 50%

Tracking and managing deemed abilities

Nicolas Troquard

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

2411.09217 2024-11-15 cs.SE cs.CR cs.PL 50%

SmartInv: Multimodal Learning for Smart Contract Invariant Inference

Sally Junsong Wang, Kexin Pei, Junfeng Yang

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

2309.11477 2024-11-15 eess.SY cs.SY 50%

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

Tiange Yang, Yuanyuan Zou, Jinfeng Liu, Shaoyuan Li, Xiaohu Zhao

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

Comments 10 pages, 4 figures

2410.20927 2024-11-01 cs.RO 50%

VLMimic: Vision Language Models are Visual Imitation Learner for Fine-grained Actions

Guanyan Chen, Meiling Wang, Te Cui, Yao Mu, Haoyang Lu, Tianxing Zhou, Zicai Peng, Mengxiao Hu, Haizhou Li, Yuan Li, Yi Yang, Yufeng Yue

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

Comments accepted for publication in the 38th Conference on Neural Information Processing Systems (NeurIPS 2024)

2406.12324 2024-10-31 cs.RO 50%

AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints

Yu-Zhe Shi, Haofei Hou, Zhangqian Bi, Fanxu Meng, Xiang Wei, Lecheng Ruan, Qining Wang

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

Comments In Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) (ACL'24)

Journal ref In Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) 2024

2010.10651 2024-10-30 cs.RO 50%

Automatic Extension of a Symbolic Mobile Manipulation Skill Set

Julian Förster, Lionel Ott, Juan Nieto, Roland Siegwart, Jen Jen Chung

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

Comments An accompanying video is available here: https://youtu.be/Dm1I82moJuY. This work has been submitted to the IEEE for possible publication

2410.20962 2024-10-29 cs.SE cs.LO 50%

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs

Ricardo Brancas, Vasco Manquinho, Ruben Martins

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

2410.15296 2024-10-22 cs.ET cs.NE cs.SC 50%

A Remedy to Compute-in-Memory with Dynamic Random Access Memory: 1FeFET-1C Technology for Neuro-Symbolic AI

Xunzhao Yin, Hamza Errahmouni Barkam, Franz Müller, Yuxiao Jiang, Mohsen Imani, Sukhrob Abdulazhanov, Alptekin Vardar, Nellie Laleni, Zijian Zhao, Jiahui Duan, Zhiguo Shi, Siddharth Joshi, Michael Niemier, Xiaobo Sharon Hu, Cheng Zhuo, Thomas Kämpfe, Kai Ni

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

2410.14374 2024-10-21 cs.MA cs.LO 50%

A Model Checker for Natural Strategic Ability

Marco Aruta, Vadim Malvone, Aniello Murano

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

2403.16517 2024-10-15 cs.MA 50%

Norm Violation Detection in Multi-Agent Systems using Large Language Models: A Pilot Study

Shawn He, Surangika Ranathunga, Stephen Cranefield, Bastin Tony Roy Savarimuthu

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

Comments To appear in COINE@AAMAS-2024 Springer LNCS post-proceedings

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)

1. 逻辑推理 3027 篇

RSUniVLM: A Unified Vision Language Model for Remote Sensing via Granularity-oriented Mixture of Experts

Identifying Root Causes of Null Pointer Exceptions with Logical Inferences

UNetMamba: An Efficient UNet-Like Mamba for Semantic Segmentation of High-Resolution Remote Sensing Images

Tracking and managing deemed abilities

SmartInv: Multimodal Learning for Smart Contract Invariant Inference

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

VLMimic: Vision Language Models are Visual Imitation Learner for Fine-grained Actions

AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints

Automatic Extension of a Symbolic Mobile Manipulation Skill Set

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs

A Remedy to Compute-in-Memory with Dynamic Random Access Memory: 1FeFET-1C Technology for Neuro-Symbolic AI

A Model Checker for Natural Strategic Ability

Norm Violation Detection in Multi-Agent Systems using Large Language Models: A Pilot Study

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