大模型推理能力 - arXivDaily 专题

2402.12953 2025-05-20 math.LO 50%

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer

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

Comments arXiv admin note: text overlap with arXiv:2303.04565

2505.02275 2025-05-06 cs.SE 50%

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm

Antonio Mastropaolo, Denys Poshyvanyk

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

2504.09764 2025-04-15 cs.CV 50%

Socratic Chart: Cooperating Multiple Agents for Robust SVG Chart Understanding

Yuyang Ji, Haohan Wang

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

2504.00200 2025-04-02 cs.CV 50%

SmartScan: An AI-based Interactive Framework for Automated Region Extraction from Satellite Images

Savinay Nagendra, Kashif Rashid

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

2503.23508 2025-04-01 cs.CV 50%

Re-Aligning Language to Visual Objects with an Agentic Workflow

Yuming Chen, Jiangyan Feng, Haodong Zhang, Lijun Gong, Feng Zhu, Rui Zhao, Qibin Hou, Ming-Ming Cheng, Yibing Song

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

Comments 33 pages, 20 figures, 17 tables, ICLR 2025

2503.01162 2025-03-18 cs.AR 50%

CogSys: Efficient and Scalable Neurosymbolic Cognition System via Algorithm-Hardware Co-Design

Zishen Wan, Hanchen Yang, Ritik Raj, Che-Kai Liu, Ananda Samajdar, Arijit Raychowdhury, Tushar Krishna

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

Comments 2025 IEEE International Symposium on High-Performance Computer Architecture (HPCA), 15 pages, 19 figures, 10 tables

2503.00510 2025-03-04 eess.IV cs.CV 50%

NeuroSymAD: A Neuro-Symbolic Framework for Interpretable Alzheimer's Disease Diagnosis

Yexiao He, Ziyao Wang, Yuning Zhang, Tingting Dan, Tianlong Chen, Guorong Wu, Ang Li

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

2502.09227 2025-02-14 cs.LO 50%

Bridging Logic Programming and Deep Learning for Explainability through ILASP

Talissa Dreossi

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

Comments In Proceedings ICLP 2024, arXiv:2502.08453

Journal ref EPTCS 416, 2025, pp. 314-323

2501.13261 2025-01-24 cs.IR cs.SD eess.AS 50%

Exploring GPT's Ability as a Judge in Music Understanding

Kun Fang, Ziyu Wang, Gus Xia, Ichiro Fujinaga

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

2311.01920 2025-01-22 cs.HC 50%

ChartGPT: Leveraging LLMs to Generate Charts from Abstract Natural Language

Yuan Tian, Weiwei Cui, Dazhen Deng, Xinjing Yi, Yurun Yang, Haidong Zhang, Yingcai Wu

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

2109.10018 2025-01-17 cs.LO 50%

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

Meghdad Ghari

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

Journal ref Artificial Intelligence and Law, 32, 325-367, 2024

1407.4647 2025-01-17 math.LO 50%

Justification Logics in a Fuzzy Setting

Meghdad Ghari

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

Comments 26 pages

Journal ref Some parts are published in: Logic Journal of the IGPL, 24(5): 743-773, 2016

2501.02094 2025-01-13 eess.SY cs.SY 50%

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications

Ali Baheri, Peng Wei

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

2501.01767 2025-01-09 cs.CV 50%

LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction

Er Jin, Qihui Feng, Yongli Mou, Stefan Decker, Gerhard Lakemeyer, Oliver Simons, Johannes Stegmaier

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

Comments Accepted for publication at aaai25, project page: https://jasonjin34.github.io/logicad.github.io/

2501.01958 2025-01-07 cs.CY 50%

A Survey on Food Ingredient Substitutions

Hyunwook Kim, Revathy Venkataramanan, Amit Sheth

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

Comments 27 pages

2501.00612 2025-01-03 cs.IT math.IT 50%

Breaking through the classical Shannon entropy limit: A new frontier through logical semantics

Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojciech Szpankowski, Chai Wah Wu, Mark S. Squillante, Alexander Gray

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

2412.10187 2024-12-16 cs.AR 50%

Neuro-Photonix: Enabling Near-Sensor Neuro-Symbolic AI Computing on Silicon Photonics Substrate

Deniz Najafi, Hamza Errahmouni Barkam, Mehrdad Morsali, SungHeon Jeong, Tamoghno Das, Arman Roohi, Mahdi Nikdast, Mohsen Imani, Shaahin Angizi

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

Comments 12 pages, 15 figures

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

1. 逻辑推理 3046 篇

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm

Socratic Chart: Cooperating Multiple Agents for Robust SVG Chart Understanding

SmartScan: An AI-based Interactive Framework for Automated Region Extraction from Satellite Images

Re-Aligning Language to Visual Objects with an Agentic Workflow

CogSys: Efficient and Scalable Neurosymbolic Cognition System via Algorithm-Hardware Co-Design

NeuroSymAD: A Neuro-Symbolic Framework for Interpretable Alzheimer's Disease Diagnosis

Bridging Logic Programming and Deep Learning for Explainability through ILASP

Exploring GPT's Ability as a Judge in Music Understanding

ChartGPT: Leveraging LLMs to Generate Charts from Abstract Natural Language

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

Justification Logics in a Fuzzy Setting

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications

LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction

A Survey on Food Ingredient Substitutions

Breaking through the classical Shannon entropy limit: A new frontier through logical semantics

Neuro-Photonix: Enabling Near-Sensor Neuro-Symbolic AI Computing on Silicon Photonics Substrate

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