大模型推理能力

Testing the Untestable? An Empirical Study on the Testing Process of LLM-Powered Software Systems

Cleyton Magalhaes, Italo Santos, Brody Stuart-Verner, Ronnie de Souza Santos

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

Fuzzy Theory in Computer Vision: A Review

Adilet Yerkin, Ayan Igali, Elnara Kadyrgali, Maksat Shagyrov, Malika Ziyada, Muragul Muratbekova, Pakizar Shamoi

机构 * School of Information Technology and Engineering（信息科技与工程学院） ； Kazakh-British Technical University（哈萨克-英国技术大学） 纠错

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

Comments Submitted to Journal of Intelligent and Fuzzy Systems for consideration (8 pages, 6 figures, 1 table)

AquaChat: An LLM-Guided ROV Framework for Adaptive Inspection of Aquaculture Net Pens

Waseem Akram, Muhayy Ud Din, Abdelhaleem Saad, Irfan Hussain

机构 * Khalifa University Center for Autonomous Robotic Systems (KUCARS), Khalifa University, United Arab Emirates（卡里法大学自主机器人系统中心（KUCARS）、卡里法大学、阿拉伯联合酋长国） 纠错

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

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

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

The Constitutional Filter: Bayesian Estimation of Compliant Agents

Simon Kohaut, Felix Divo, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

机构 * Artificial Intelligence and Machine Learning Group, Department of Computer Science, TU Darmstadt（德累斯顿技术大学计算机科学系人工智能与机器学习小组） ； Honda Research Institute Europe GmbH（本田欧洲研究院） ； Uncertainty in Artificial Intelligence Group, Department of Mathematics and Computer Science, TU Eindhoven（埃因霍温技术大学数学与计算机科学系人工智能不确定性小组） ； German Center for Artificial Intelligence (DFKI)（德国人工智能中心（DFKI）） 纠错

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

CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding

Zhou Chen, Joe Lin, Sathyanarayanan N. Aakur

机构 * Auburn University（亚伯拉罕大学） 纠错

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

Comments Accepted to NeSy 2025

LLM-Assisted Relevance Assessments: When Should We Ask LLMs for Help?

Rikiya Takehi, Ellen M. Voorhees, Tetsuya Sakai, Ian Soboroff

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

Comments 11 pages. Accepted at SIGIR 2025 (48th International ACM SIGIR Conference on Research and Development in Information Retrieval)

Online Long-term Point Tracking in the Foundation Model Era

Görkay Aydemir

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

Comments arXiv admin note: substantial text overlap with arXiv:2501.18487

PHT-CAD: Efficient CAD Parametric Primitive Analysis with Progressive Hierarchical Tuning

Ke Niu, Yuwen Chen, Haiyang Yu, Zhuofan Chen, Xianghui Que, Bin Li, Xiangyang Xue

机构 * Shanghai Key Laboratory of Intelligent Information Processing（上海智能信息处理关键实验室） ； School of Computer Science, Fudan University（复旦大学计算机科学学院） 纠错

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

LLM-Enhanced Symbolic Control for Safety-Critical Applications

Amir Bayat, Alessandro Abate, Necmiye Ozay, Raphael M. Jungers

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

Alpay Algebra: A Universal Structural Foundation

Faruk Alpay

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

Comments 37 pages, 0 figures. Self-contained categorical framework built directly on Mac Lane and Bourbaki; minimal references are intentional to foreground the new construction

Semantic Web and Software Agents -- A Forgotten Wave of Artificial Intelligence?

Tapio Pitkäranta, Eero Hyvönen

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

Comments 28 pages, 9 figures

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Dan BW Choe, Sundhar Vinodh Sangeetha, Steven Emanuel, Chih-Yuan Chiu, Samuel Coogan, Shreyas Kousik

机构 * Georgia Institute of Technology（佐治亚理工学院） ； School of Electrical and Computer Engineering（电气与计算机工程学院） ； School of Aerospace Engineering（航空航天工程学院） ； School of Mechanical Engineering（机械工程学院） 纠错

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

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

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

Antonio Mastropaolo, Denys Poshyvanyk

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

Socratic Chart: Cooperating Multiple Agents for Robust SVG Chart Understanding

Yuyang Ji, Haohan Wang

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

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

Savinay Nagendra, Kashif Rashid

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

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

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

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)

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

Exploring GPT's Ability as a Judge in Music Understanding

Kun Fang, Ziyu Wang, Gus Xia, Ichiro Fujinaga

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

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)

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

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

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

Ali Baheri, Peng Wei

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

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/

A Survey on Food Ingredient Substitutions

Hyunwook Kim, Revathy Venkataramanan, Amit Sheth

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

Comments 27 pages

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)

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