Title
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Chengwu Liu Ye Yuan Yichun Yin Yan Xu Xin Xu Zaoyu Chen Yasheng Wang Lifeng Shang Qun Liu Ming Zhang LRM 141 0 0 05 Jun 2025
Benchmarking Abstract and Reasoning Abilities Through A Theoretical Perspective Qingchuan Ma Yuhang Wu Xiawu Zheng Rongrong Ji 34 0 0 28 May 2025
Think or Not? Exploring Thinking Efficiency in Large Reasoning Models via an Information-Theoretic Lens Xixian Yong Xiao Zhou Yingying Zhang Jinlin Li Yefeng Zheng X. Wu LRM 63 0 0 23 May 2025
Combining Abstract Argumentation and Machine Learning for Efficiently Analyzing Low-Level Process Event Streams Bettina Fazzinga Sergio Flesca F. Furfaro Luigi Pontieri Francesco Scala 45 0 0 09 May 2025
Towards responsible AI for education: Hybrid human-AI to confront the Elephant in the room Danial Hooshyar Gustav Šír Yeongwook Yang Eve Kikas Raija Hamalainen T. Karkkainen Dragan Gašević Roger Azevedo 114 0 0 22 Apr 2025
Towards Responsible and Trustworthy Educational Data Mining: Comparing Symbolic, Sub-Symbolic, and Neural-Symbolic AI Methods Danial Hooshyar Eve Kikas Yeongwook Yang Gustav Šír Raija Hamalainen T. Karkkainen Roger Azevedo 122 1 0 01 Apr 2025
Efficient Inference for Large Reasoning Models: A Survey Yi Liu Jiaying Wu Yufei He Hongcheng Gao Hongyu Chen Baolong Bi Jiaheng Zhang Zhiqi Huang Bryan Hooi Bryan Hooi LLMAG LRM 170 17 0 29 Mar 2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 164 1 0 25 Mar 2025
Combinatorial Optimization via LLM-driven Iterated Fine-tuning Pranjal Awasthi Sreenivas Gollapudi Ravi Kumar Kamesh Munagala 146 1 0 10 Mar 2025
Standard Neural Computation Alone Is Insufficient for Logical Intelligence Youngsung Kim NAI 120 0 0 04 Feb 2025
Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning Yuxuan Wu Hideki Nakayama NAI 89 1 0 02 Feb 2025
Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy Chen Wang Kaiyi Ji Junyi Geng Zhongqiang Ren Taimeng Fu ... Yi Du Qihang Li Yue Yang Xiao Lin Zhipeng Zhao SSL 160 10 0 28 Jan 2025
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review Giovanni Ciatto Federico Sabbatini Andrea Agiollo Matteo Magnini Andrea Omicini 106 16 0 28 Jan 2025
Aligning Generalisation Between Humans and Machines Filip Ilievski Barbara Hammer F. V. Harmelen Benjamin Paassen S. Saralajew ... Vered Shwartz Gabriella Skitalinskaya Clemens Stachl Gido M. van de Ven T. Villmann 302 1 0 23 Nov 2024
Low-Dimension-to-High-Dimension Generalization And Its Implications for Length Generalization Yang Chen Long Yang Yitao Liang Zhouchen Lin 112 1 0 11 Oct 2024
Simple and Effective Transfer Learning for Neuro-Symbolic Integration Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini 98 1 0 21 Feb 2024
Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI Zishen Wan Che-Kai Liu Hanchen Yang Chaojian Li Haoran You Yonggan Fu Cheng Wan Tushar Krishna Yingyan Lin A. Raychowdhury AAML 97 21 0 02 Jan 2024
Spatial Knowledge-Infused Hierarchical Learning: An Application in Flood Mapping on Earth Imagery Zelin Xu Tingsong Xiao Wenchong He Yu Wang Zhe Jiang 60 10 0 12 Dec 2023
(Ir)rationality in AI: State of the Art, Research Challenges and Open Questions Olivia Macmillan-Scott Mirco Musolesi 96 1 0 28 Nov 2023
Integrating Symbolic Reasoning into Neural Generative Models for Design Generation Maxwell J. Jacobson Yexiang Xue NAI 69 3 0 13 Oct 2023
"A Nova Eletricidade: Aplicações, Riscos e Tendências da IA Moderna -- "The New Electricity": Applications, Risks, and Trends in Current AI A. Bazzan Anderson R. Tavares André G. Pereira C. R. Jung Jacob Scharcanski J. Carbonera Luís C. Lamb Mariana Recamonde Mendoza T. L. T. D. Silveira V. P. Moreira 56 0 0 08 Oct 2023
Learning Concept-Based Causal Transition and Symbolic Reasoning for Visual Planning Yilue Qian Peiyu Yu Ying Nian Wu Yao Su Wei Wang Lifeng Fan LRM 101 4 0 05 Oct 2023
Word Sense Disambiguation as a Game of Neurosymbolic Darts Tiansi Dong R. Sifa 58 2 0 25 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang Joohyung Lee Chi-youn Park 83 20 0 10 Jul 2023
Sustainable Adaptive Security L. Pasquale Kushal Ramkumar Wanling Cai John McCarthy Gavin Doherty B. Nuseibeh 29 3 0 05 Jun 2023
InDL: A New Dataset and Benchmark for In-Diagram Logic Interpretation based on Visual Illusion Haobo Yang Wenyu Wang Zexin Cao Zhekai Duan Xuchen Liu VLM 49 0 0 28 May 2023
A Knowledge Engineering Primer Agnieszka Lawrynowicz 76 0 0 26 May 2023
NeSy4VRD: A Multifaceted Resource for Neurosymbolic AI Research using Knowledge Graphs in Visual Relationship Detection D. Herron Ernesto Jiménez-Ruiz G. Tarroni Tillman Weyde 36 2 0 22 May 2023
A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making Carlos Núnez-Molina Pablo Mesejo Juan Fernández-Olivares 126 3 0 20 Apr 2023
Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming J. Flach Alvaro F. Moreira Luís C. Lamb NAI 30 1 0 18 Apr 2023
Describing and Organizing Semantic Web and Machine Learning Systems in the SWeMLS-KG Fajar J. Ekaputra Majlinda Llugiqi M. Sabou Andreas Ekelhart Heiko Paulheim Anna Breit Artem Revenko Laura Waltersdorfer K. Farfar Sören Auer 118 10 0 27 Mar 2023
Beyond Object Recognition: A New Benchmark towards Object Concept Learning Yong-Lu Li Yue Xu Xinyu Xu Xiaohan Mao Yuan Yao Siqi Liu Cewu Lu OCL 135 9 0 06 Dec 2022
SimpleMind adds thinking to deep neural networks Y. Choi M. Wahi-Anwar Matthew S. Brown AI4CE 28 5 0 02 Dec 2022
Knowledge-augmented Deep Learning and Its Applications: A Survey Zijun Cui Tian Gao Kartik Talamadupula Qiang Ji 112 19 0 30 Nov 2022
Embeddings as Epistemic States: Limitations on the Use of Pooling Operators for Accumulating Knowledge Steven Schockaert FAtt 57 5 0 11 Oct 2022
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini NAI 107 19 0 24 Aug 2022
PROTOtypical Logic Tensor Networks (PROTO-LTN) for Zero Shot Learning Simone Martone Francesco Manigrasso Lamberti Fabrizio Lia Morra 67 4 0 26 Jun 2022
Towards a Solution to Bongard Problems: A Causal Approach Salahedine Youssef Matej Zečević Devendra Singh Dhami Kristian Kersting 64 5 0 14 Jun 2022
Neuro-Symbolic Learning of Answer Set Programs from Raw Data Daniel Cunnington Mark Law Jorge Lobo Alessandra Russo NAI 114 8 0 25 May 2022
R5: Rule Discovery with Reinforced and Recurrent Relational Reasoning Shengyao Lu Bang Liu Keith G. Mills Shangling Jui Di Niu AI4TS 81 8 0 13 May 2022
Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction Zhanming Jie Jierui Li Wei Lu ReLM AIMat 72 76 0 19 Mar 2022
Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review Kyle Hamilton Aparna Nayak Bojan Bozic Luca Longo NAI 103 63 0 24 Feb 2022
Tractable Boolean and Arithmetic Circuits Adnan Darwiche TPM 78 13 0 07 Feb 2022
Generative Flow Networks for Discrete Probabilistic Modeling Dinghuai Zhang Nikolay Malkin Ziqiang Liu Alexandra Volokhova Aaron Courville Yoshua Bengio 90 110 0 03 Feb 2022
PRIMA: Planner-Reasoner Inside a Multi-task Reasoning Agent Daoming Lyu Bo Liu Jianshu Chen LRM 74 1 0 01 Feb 2022
Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matrices Mikolaj Malkiñski Jacek Mańdziuk 216 43 0 28 Jan 2022
Reasoning Like Program Executors Xinyu Pi Qian Liu Bei Chen Morteza Ziyadi Zeqi Lin Qiang Fu Yan Gao Jian-Guang Lou Weizhu Chen ReLM LRM 314 53 0 27 Jan 2022
Discrete and continuous representations and processing in deep learning: Looking forward Ruben Cartuyvels Graham Spinks Marie-Francine Moens OCL 91 20 0 04 Jan 2022
Automated Fact-Checking: A Survey Xia Zeng Amani S. Abumansour A. Zubiaga HILM 268 96 0 23 Sep 2021
From LSAT: The Progress and Challenges of Complex Reasoning Siyuan Wang Zhongkun Liu Wanjun Zhong Ming Zhou Zhongyu Wei Zhumin Chen Nan Duan ELM 85 46 0 02 Aug 2021