Preprints (arXiv)
Loading chart data...
2025
2025-10-02
- LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
Navapat Nananukul, Yue Zhang, Ryan Lee, Eric Boxer, Jonathan May, Vibhav Giridhar Gogate, Jay Pujara, Mayank Kejriwal
2025-09-29
- BiHDTrans: binary hyperdimensional transformer for efficient multivariate time series classification
Jingtao Zhang, Yi Liu, Qi Shen, Changhong Wang
2025-09-28
- From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
Ouns El Harzli, Bernardo Cuenca Grau, Artur d'Avila Garcez, Ian Horrocks, Tarek R. Besold
2025-09-26
- Integrating Background Knowledge in Medical Semantic Segmentation with Logic Tensor Networks
Luca Bergamin, Giovanna Maria Dimitri, Fabio Aiolli
2025-09-25
- Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
Davide Bizzaro, Alessandro Daniele
2025-09-24
- Discovering Association Rules in High-Dimensional Small Tabular Data
Erkan Karabulut, Daniel Daza, Paul Groth, Victoria Degeler
2025-09-23
- VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Pranay Samineni, Daniel Milan, Zhangyang Wang, Ufuk Topcu - Automatic coherence-driven inference on arguments
Steve Huntsman
2025-09-22
- Robustness of Neurosymbolic Reasoners on First-Order Logic Problems
Hannah Bansal, Kemal Kurniawan, Lea Frermann
2025-09-13
- Neurosymbolic AI Transfer Learning Improves Network Intrusion Detection
Huynh T. T. Tran, Jacob Sander, Achraf Cohen, Brian Jalaian, Nathaniel D. Bastian
2025-09-09
- DeepGraphLog for Layered Neurosymbolic AI
Adem Kikaj, Giuseppe Marra, Floris Geerts, Robin Manhaeve, Luc De Raedt
2025-09-08
- Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
Sania Sinha, Tanawan Premsri, Danial Kamali, Parisa Kordjamshidi
2025-09-04
- Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
Alexander Beiser, David Penz, Nysret Musliu
2025-09-03
- Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
François Olivier, Zied Bouraoui
2025-09-02
- RNN Generalization to Omega-Regular Languages
Charles Pert, Dalal Alrajeh, Alessandra Russo
2025-08-21
- T-ILR: a Neurosymbolic Integration for LTLf
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani - Active Learning for Neurosymbolic Program Synthesis
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025-08-19
- Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi - The DeepLog Neurosymbolic Machine
Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen, Lucas Van Praet, Lennert De Smet, Giuseppe Marra, Luc De Raedt - Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo, Bo-Wen Zhang, Zhi Zhou, Lin-Han Jia, Wang-Zhou Dai, Yu-Feng Li
2025-08-16
- Monotone Neural Control Barrier Certificates
Alireza Nadali, Ashutosh Trivedi, Majid Zamani, Saber Jafarpour - Neurosymbolic Learning for Predicting Cell Fate Decisions from Longitudinal Single Cell Transcriptomics in Paediatric Acute Myeloid Leukemia
Abicumaran Uthamacumaran, Hector Zenil
2025-08-12
- TEN: Table Explicitization, Neurosymbolically
Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari
2025-08-10
- Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey
Kamal Acharya, Iman Sharifi, Mehul Lad, Liang Sun, Houbing Song
2025-08-07
- A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
Rongqian Chen, Allison Andreyev, Yanming Xiu, Mahdi Imani, Bin Li, Maria Gorlatova, Gang Tan, Tian Lan
2025-08-06
- GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025-08-05
- A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
Claudiu Leoveanu-Condrei - A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
Michael K. Chen
2025-08-02
- Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen, Tuan C. Bui, Duc Q. Nguyen, Thanh-Tung Tran, Anh D. Nguyen, Minh L. Nguyen, Fabien Baldacci, Thang H. Bui, Emanuel Di Nardo, Angelo Ciaramella, Son H. Le, Ihsan Ullah, Lorenzo Di Rocco, Tho T. Quan
2025-08-01
- Composable OS Kernel Architectures for Autonomous Intelligence
Rajpreet Singh, Vidhi Kothari
2025-07-29
- CoEx -- Co-evolving World-model and Exploration
Minsoo Kim, Seung-won Hwang
2025-07-28
- Hanging Around: Cognitive Inspired Reasoning for Reactive Robotics
Mihai Pomarlan, Stefano De Giorgis, Rachel Ringe, Maria M. Hedblom, Nikolaos Tsiogkas
2025-07-24
- Concept Probing: Where to Find Human-Defined Concepts (Extended Version)
Manuel de Sousa Ribeiro, Afonso Leote, João Leite
2025-07-21
- HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs
Adrian Kaiser, Claudiu Leoveanu-Condrei, Ryan Gold, Marius-Constantin Dinu, Markus Hofmarcher
2025-07-15
- Neurosymbolic Reasoning Shortcuts under the Independence Assumption
Emile van Krieken, Pasquale Minervini, Edoardo Ponti, Antonio Vergari - Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
Yunhao Yang, Neel P. Bhatt, Christian Ellis, Alvaro Velasquez, Zhangyang Wang, Ufuk Topcu - Defining neurosymbolic AI
Lennert De Smet, Luc De Raedt
2025-07-14
- Ground-Compose-Reinforce: Tasking Reinforcement Learning Agents through Formal Language
Andrew C. Li, Toryn Q. Klassen, Andrew Wang, Parand A. Alamdari, Sheila A. McIlraith - Model-Grounded Symbolic Artificial Intelligence Systems Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems
Aniruddha Chattopadhyay, Raj Dandekar, Kaushik Roy
2025-07-13
- Sound and Complete Neuro-symbolic Reasoning with LLM-Grounded Interpretations
Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth - Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs
Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi
2025-07-12
- Knowledge Conceptualization Impacts RAG Efficacy
Chris Davis Jaldi, Anmol Saini, Elham Ghiasi, O. Divine Eziolise, Cogan Shimizu
2025-07-09
- Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
Zili Wang, Frank Montabon, Kristin Yvonne Rozier
2025-07-08
- Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
Aaron Bembenek
2025-07-07
- Hardware-efficient tractable probabilistic inference for TinyML Neurosymbolic AI applications
Jelin Leslin, Martin Trapp, Martin Andraud
2025-07-05
- KEA Explain: Explanations of Hallucinations using Graph Kernel Analysis
Reilly Haskins, Ben Adams
2025-07-04
- Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
Qika Lin, Fangzhi Xu, Hao Lu, Kai He, Rui Mao, Jun Liu, Erik Cambria, Mengling Feng
2025-07-01
- Thinking Beyond Tokens: From Brain-Inspired Intelligence to Cognitive Foundations for Artificial General Intelligence and its Societal Impact
Rizwan Qureshi, Ranjan Sapkota, Abbas Shah, Amgad Muneer, Anas Zafar, Ashmal Vayani, Maged Shoman, Abdelrahman B. M. Eldaly, Kai Zhang, Ferhat Sadak, Shaina Raza, Xinqi Fan, Ravid Shwartz-Ziv, Hong Yan, Vinjia Jain, Aman Chadha, Manoj Karkee, Jia Wu, Seyedali Mirjalili
2025-06-29
- Do LLMs Dream of Discrete Algorithms?
Claudionor Coelho Jr, Yanen Li, Philip Tee
2025-06-26
- Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning
Peihao Wang, Zhangyang Wang - FaSTA$^*$: Fast-Slow Toolpath Agent with Subroutine Mining for Efficient Multi-turn Image Editing
Advait Gupta, Rishie Raj, Dang Nguyen, Tianyi Zhou
2025-06-25
- Enhancing Large Language Models through Structured Reasoning
Yubo Dong, Hehe Fan
2025-06-22
- AI Harmonizer: Expanding Vocal Expression with a Generative Neurosymbolic Music AI System
Lancelot Blanchard, Cameron Holt, Joseph A. Paradiso
2025-06-20
- OmniReflect: Discovering Transferable Constitutions for LLM agents via Neuro-Symbolic Reflections
Manasa Bharadwaj, Nikhil Verma, Kevin Ferreira
2025-06-19
- Neurosymbolic Object-Centric Learning with Distant Supervision
Stefano Colamonaco, David Debot, Giuseppe Marra - Regression Testing Optimization for ROS-based Autonomous Systems: A Comprehensive Review of Techniques
Yupeng Jiang, Shuaiyi Sun, Xi Zheng
2025-06-17
- Object-Centric Neuro-Argumentative Learning
Abdul Rahman Jacob, Avinash Kori, Emanuele De Angelis, Ben Glocker, Maurizio Proietti, Francesca Toni - What's in the Box? Reasoning about Unseen Objects from Multimodal Cues
Lance Ying, Daniel Xu, Alicia Zhang, Katherine M. Collins, Max H. Siegel, Joshua B. Tenenbaum
2025-06-15
- SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song
2025-06-13
- A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline
Yupeng Jiang, Yao Deng, Sebastian Schroder, Linfeng Liang, Suhaas Gambhir, Alice James, Avishkar Seth, James Pirrie, Yihao Zhang, Xi Zheng
2025-06-11
- Learning Interpretable Rules from Neural Networks: Neurosymbolic AI for Radar Hand Gesture Recognition
Sarah Seifi, Tobias Sukianto, Cecilia Carbonelli, Lorenzo Servadei, Robert Wille
2025-06-04
- Neurosymbolic Artificial Intelligence for Robust Network Intrusion Detection: From Scratch to Transfer Learning
Huynh T. T. Tran, Jacob Sander, Achraf Cohen, Brian Jalaian, Nathaniel D. Bastian
2025-06-03
- Enhancing Large Language Models with Neurosymbolic Reasoning for Multilingual Tasks
Sina Bagheri Nezhad, Ameeta Agrawal
2025-06-02
- Follow the Flow: Fine-grained Flowchart Attribution with Neurosymbolic Agents
Manan Suri, Puneet Mathur, Nedim Lipka, Franck Dernoncourt, Ryan A. Rossi, Vivek Gupta, Dinesh Manocha
2025-05-30
- Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
Zekun Wang, Ethan L. Haarer, Nicki Barari, Christopher J. MacLellan
2025-05-25
- SQUiD: Synthesizing Relational Databases from Unstructured Text
Mushtari Sadia, Zhenning Yang, Yunming Xiao, Ang Chen, Amrita Roy Chowdhury
2025-05-22
- Reasoning in Neurosymbolic AI
Son Tran, Edjard Mota, Artur d'Avila Garcez
2025-05-21
- Neuro-Argumentative Learning with Case-Based Reasoning
Adam Gould, Francesca Toni
2025-05-19
- Neurosymbolic Diffusion Models
Emile van Krieken, Pasquale Minervini, Edoardo Ponti, Antonio Vergari
2025-05-13
- Achieving Scalable Robot Autonomy via neurosymbolic planning using lightweight local LLM
Nicholas Attolino, Alessio Capitanelli, Fulvio Mastrogiovanni
2025-05-12
- SciCom Wiki: Fact-Checking and FAIR Knowledge Distribution for Scientific Videos and Podcasts
Tim Wittenborg, Constantin Sebastian Tremel, Niklas Stehr, Oliver Karras, Markus Stocker, Sören Auer - Computational Fact-Checking of Online Discourse: Scoring scientific accuracy in climate change related news articles
Tim Wittenborg, Constantin Sebastian Tremel, Markus Stocker, Sören Auer
2025-05-10
- SmartPilot: A Multiagent CoPilot for Adaptive and Intelligent Manufacturing
Chathurangi Shyalika, Renjith Prasad, Alaa Al Ghazo, Darssan Eswaramoorthi, Harleen Kaur, Sara Shree Muthuselvam, Amit Sheth
2025-05-09
- NSF-MAP: Neurosymbolic Multimodal Fusion for Robust and Interpretable Anomaly Prediction in Assembly Pipelines
Chathurangi Shyalika, Renjith Prasad, Fadi El Kalach, Revathy Venkataramanan, Ramtin Zand, Ramy Harik, Amit Sheth
2025-05-06
- Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time
Celeste Veronese, Daniele Meli, Alessandro Farinelli - CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu
2025-05-04
- A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm
Antonio Mastropaolo, Denys Poshyvanyk
2025-04-27
- Neurosymbolic Association Rule Mining from Tabular Data
Erkan Karabulut, Paul Groth, Victoria Degeler
2025-04-24
- Conversational Assistants to support Heart Failure Patients: comparing a Neurosymbolic Architecture with ChatGPT
Anuja Tayal, Devika Salunke, Barbara Di Eugenio, Paula Allen-Meares, Eulalia Puig Abril, Olga Garcia, Carolyn Dickens, Andrew Boyd
2025-04-23
- Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Balaji Rao, William Eiers, Carlo Lipizzi
2025-04-22
- WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
Siyu Zhou, Tianyi Zhou, Yijun Yang, Guodong Long, Deheng Ye, Jing Jiang, Chengqi Zhang
2025-04-15
- Mutual Understanding between People and Systems via Neurosymbolic AI and Knowledge Graphs
Irene Celino, Mario Scrocca, Agnese Chiatti
2025-04-10
- Independence Is Not an Issue in Neurosymbolic AI
Håkan Karlsson Faronius, Pedro Zuidberg Dos Martires
2025-03-31
- CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
Seewon Choi, Alaia Solko-Breslin, Rajeev Alur, Eric Wong - Grounding Agent Reasoning in Image Schemas: A Neurosymbolic Approach to Embodied Cognition
François Olivier, Zied Bouraoui
2025-03-27
- Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2025-03-20
- SuperARC: An Agnostic Test for Narrow, General, and Super Intelligence Based On the Principles of Recursive Compression and Algorithmic Probability
Alberto Hernández-Espinosa, Luan Ozelim, Felipe S. Abrahão, Hector Zenil - Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
Steffen Herbold, Christoph Knieke, Andreas Rausch, Christian Schindler
2025-03-19
- World Models in Artificial Intelligence: Sensing, Learning, and Reasoning Like a Child
Javier Del Ser, Jesus L. Lobo, Heimo Müller, Andreas Holzinger
2025-03-17
- Valid Text-to-SQL Generation with Unification-based DeepStochLog
Ying Jiao, Luc De Raedt, Giuseppe Marra
2025-03-15
- Toward Foundation Models for Online Complex Event Detection in CPS-IoT: A Case Study
Liying Han, Gaofeng Dong, Xiaomin Ouyang, Lance Kaplan, Federico Cerutti, Mani Srivastava
2025-03-11
- Neurosymbolic Decision Trees
Matthias Möller, Arvid Norlander, Pedro Zuidberg Dos Martires, Luc De Raedt
2025-03-03
- Noise to the Rescue: Escaping Local Minima in Neurosymbolic Local Search
Alessandro Daniele, Emile van Krieken - 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
2025-03-01
- NeuroLit Navigator: A Neurosymbolic Approach to Scholarly Article Searches for Systematic Reviews
Vedant Khandelwal, Kaushik Roy, Valerie Lookingbill, Ritvik Garimella, Harshul Surana, Heather Heckman, Amit Sheth
2025-02-28
- Neuro-Symbolic Learning for Galois Groups: Unveiling Probabilistic Trends in Polynomials
Elira Shaska, Tony Shaska
2025-02-25
- The Gradient of Algebraic Model Counting
Jaron Maene, Luc De Raedt
2025-02-24
- Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
Alexander Beiser, David Penz, Nysret Musliu
2025-02-19
- Neurosymbolic artificial intelligence via large language models and coherence-driven inference
Steve Huntsman, Jewell Thomas
2025-02-17
- NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025-02-13
- On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
Luke E. Richards, Jessie Yaros, Jasen Babcock, Coung Ly, Robin Cosbey, Timothy Doster, Cynthia Matuszek
2025-02-04
2025-02-03
- Toward Neurosymbolic Program Comprehension
Alejandro Velasco, Aya Garryyeva, David N. Palacio, Antonio Mastropaolo, Denys Poshyvanyk
2025-02-02
- Neurosymbolic AI for Travel Demand Prediction: Integrating Decision Tree Rules into Neural Networks
Kamal Acharya, Mehul Lad, Liang Sun, Houbing Song
2025-01-31
- Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations
Varun Dhanraj, Chris Eliasmith
2025-01-30
- On Scaling Neurosymbolic Programming through Guided Logical Inference
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès, Nabil Layaïda
2025-01-27
- ESGSenticNet: A Neurosymbolic Knowledge Base for Corporate Sustainability Analysis
Keane Ong, Rui Mao, Frank Xing, Ranjan Satapathy, Johan Sulaeman, Erik Cambria, Gianmarco Mengaldo
2025-01-26
- A Neurosymbolic Framework for Geometric Reduction of Binary Forms
Ilias Kotsireas, Tony Shaska
2025-01-25
- On Accelerating Edge AI: Optimizing Resource-Constrained Environments
Jacob Sander, Achraf Cohen, Venkat R. Dasari, Brent Venable, Brian Jalaian
2025-01-24
- VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Benjamin Callewaert, Simon Vandevelde, Joost Vennekens - C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
Vikram Nitin, Rahul Krishna, Luiz Lemos do Valle, Baishakhi Ray
2025-01-23
- Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025-01-22
- Galois groups of polynomials and neurosymbolic networks
Elira Shaska, Tony Shaska - LLMs as Repositories of Factual Knowledge: Limitations and Solutions
Seyed Mahed Mousavi, Simone Alghisi, Giuseppe Riccardi
2024
2024-12-23
- An Intrinsically Explainable Approach to Detecting Vertebral Compression Fractures in CT Scans via Neurosymbolic Modeling
Blanca Inigo, Yiqing Shen, Benjamin D. Killeen, Michelle Song, Axel Krieger, Christopher Bradley, Mathias Unberath
2024-12-18
- Compositional Generalization Across Distributional Shifts with Sparse Tree Operations
Paul Soulos, Henry Conklin, Mattia Opper, Paul Smolensky, Jianfeng Gao, Roland Fernandez
2024-12-17
- Relational Neurosymbolic Markov Models
Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
2024-12-10
- NeSyA: Neurosymbolic Automata
Nikolaos Manginas, George Paliouras, Luc De Raedt
2024-12-04
- Learning Semantic Association Rules from Internet of Things Data
Erkan Karabulut, Paul Groth, Victoria Degeler
2024-12-03
- Out-of-Distribution Detection for Neurosymbolic Autonomous Cyber Agents
Ankita Samaddar, Nicholas Potteiger, Xenofon Koutsoukos
2024-12-02
- A Neurosymbolic Fast and Slow Architecture for Graph Coloring
Vedant Khandelwal, Vishal Pallagani, Biplav Srivastava, Francesca Rossi - Shadow of the (Hierarchical) Tree: Reconciling Symbolic and Predictive Components of the Neural Code for Syntax
Elliot Murphy
2024-11-30
- PlanCritic: Formal Planning with Human Feedback
Owen Burns, Dana Hughes, Katia Sycara
2024-11-23
- Aligning Generalisation Between Humans and Machines
Filip Ilievski, Barbara Hammer, Frank van Harmelen, Benjamin Paassen, Sascha Saralajew, Ute Schmid, Michael Biehl, Marianna Bolognesi, Xin Luna Dong, Kiril Gashteovski, Pascal Hitzler, Giuseppe Marra, Pasquale Minervini, Martin Mundt, Axel-Cyrille Ngonga Ngomo, Alessandro Oltramari, Gabriella Pasi, Zeynep G. Saribatur, Luciano Serafini, John Shawe-Taylor, Vered Shwartz, Gabriella Skitalinskaya, Clemens Stachl, Gido M. van de Ven, Thomas Villmann
2024-11-20
- Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Daniel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon Koutsoukos, Gabor Karsai, Abhishek Dubey
2024-11-19
- Neurosymbolic Graph Enrichment for Grounded World Models
Stefano De Giorgis, Aldo Gangemi, Alessandro Russo - Just KIDDIN: Knowledge Infusion and Distillation for Detection of INdecent Memes
Rahul Garg, Trilok Padhi, Hemang Jain, Ugur Kursuncu, Ponnurangam Kumaraguru
2024-11-18
- Autoassociative Learning of Structural Representations for Modeling and Classification in Medical Imaging
Zuzanna Buchnajzer, Kacper Dobek, Stanisław Hapke, Daniel Jankowski, Krzysztof Krawiec
2024-11-16
- Education in the Era of Neurosymbolic AI
Chris Davis Jaldi, Eleni Ilkou, Noah Schroeder, Cogan Shimizu
2024-11-11
- A Domain-Agnostic Neurosymbolic Approach for Big Social Data Analysis: Evaluating Mental Health Sentiment on Social Media during COVID-19
Vedant Khandelwal, Manas Gaur, Ugur Kursuncu, Valerie Shalin, Amit Sheth
2024-11-05
- Knowledge Graphs of Driving Scenes to Empower the Emerging Capabilities of Neurosymbolic AI
Ruwan Wickramarachchi, Cory Henson, Amit Sheth
2024-10-31
- Approaches to human activity recognition via passive radar
Christian Bresciani, Federico Cerutti, Marco Cominelli
2024-10-18
- Interpretable end-to-end Neurosymbolic Reinforcement Learning agents
Nils Grandien, Quentin Delfosse, Kristian Kersting
2024-10-16
- Metal Price Spike Prediction via a Neurosymbolic Ensemble Approach
Nathaniel Lee, Noel Ngu, Harshdeep Singh Sahdev, Pramod Motaganahall, Al Mehdi Saadat Chowdhury, Bowen Xi, Paulo Shakarian - A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
Lennert De Smet, Pedro Zuidberg Dos Martires
2024-10-15
- KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2024-10-10
- Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
Hyun Ryu, Gyeongman Kim, Hyemin S. Lee, Eunho Yang
2024-10-09
- WALL-E: World Alignment by Rule Learning Improves World Model-based LLM Agents
Siyu Zhou, Tianyi Zhou, Yijun Yang, Guodong Long, Deheng Ye, Jing Jiang, Chengqi Zhang
2024-10-06
- Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
Jakub Bednarek, Krzysztof Krawiec
2024-10-04
- Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning
Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong
2024-10-02
- MARS: A neurosymbolic approach for interpretable drug discovery
Lauren Nicole DeLong, Yojana Gadiya, Paola Galdi, Jacques D. Fleuriot, Daniel Domingo-Fernández
2024-09-30
- Neurosymbolic AI approach to Attribution in Large Language Models
Deepa Tilwani, Revathy Venkataramanan, Amit P. Sheth
2024-09-27
- DANA: Domain-Aware Neurosymbolic Agents for Consistency and Accuracy
Vinh Luong, Sang Dinh, Shruti Raghavan, William Nguyen, Zooey Nguyen, Quynh Le, Hung Vo, Kentaro Maegaito, Loc Nguyen, Thao Nguyen, Anh Hai Ha, Christopher Nguyen
2024-09-25
- Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary, Shivkumar Kalyanaraman
2024-09-24
- Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
Jonathan Feldstein, Dominic Phillips, Efthymia Tsamoura
2024-09-22
- Can-Do! A Dataset and Neuro-Symbolic Grounded Framework for Embodied Planning with Large Multimodal Models
Yew Ken Chia, Qi Sun, Lidong Bing, Soujanya Poria
2024-09-20
- Neurosymbolic Conformal Classification
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
2024-09-17
- ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering
Priyesh Vakharia, Abigail Kufeldt, Max Meyers, Ian Lane, Leilani Gilpin
2024-09-15
- Disentangling Visual Priors: Unsupervised Learning of Scene Interpretations with Compositional Autoencoder
Krzysztof Krawiec, Antoni Nowinowski
2024-09-06
- Neurosymbolic Methods for Dynamic Knowledge Graphs
Mehwish Alam, Genet Asefa Gesese, Pierre-Henri Paris
2024-08-25
- Enhancing SQL Query Generation with Neurosymbolic Reasoning
Henrijs Princis, Cristina David, Alan Mycroft
2024-08-24
- Symbolic Working Memory Enhances Language Models for Complex Rule Application
Siyuan Wang, Zhongyu Wei, Yejin Choi, Xiang Ren
2024-08-21
- Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
Fieke Hillerstrom, Gertjan Burghouts
2024-08-16
- Neural Reward Machines
Elena Umili, Francesco Argenziano, Roberto Capobianco
2024-08-11
- Neurosymbolic Methods for Rule Mining
Agnieszka Lawrynowicz, Luis Galarraga, Mehwish Alam, Berenice Jaulmes, Vaclav Zeman, Tomas Kliegr
2024-08-09
- On the use of neurosymbolic AI for defending against cyber attacks
Gudmund Grov, Jonas Halvorsen, Magnus Wiik Eckhoff, Bjørn Jervell Hansen, Martin Eian, Vasileios Mavroeidis
2024-08-05
- MaterioMiner -- An ontology-based text mining dataset for extraction of process-structure-property entities
Ali Riza Durmaz, Akhil Thomas, Lokesh Mishra, Rachana Niranjan Murthy, Thomas Straub
2024-07-26
- Neurosymbolic AI for Enhancing Instructability in Generative AI
Amit Sheth, Vishal Pallagani, Kaushik Roy
2024-07-23
- Negotiating Control: Neurosymbolic Variable Autonomy
Georgios Bakirtzis, Manolis Chiou, Andreas Theodorou
2024-07-21
- Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
Joshua Shay Kricheli, Khoa Vo, Aniruddha Datta, Spencer Ozgur, Paulo Shakarian
2024-07-16
- Reliable Reasoning Beyond Natural Language
Nasim Borazjanizadeh, Steven T. Piantadosi
2024-07-13
- On Characterizing and Mitigating Imbalances in Multi-Instance Partial Label Learning
Kaifu Wang, Efthymia Tsamoura, Dan Roth
2024-07-09
- A Neurosymbolic Approach to Adaptive Feature Extraction in SLAM
Yasra Chandio, Momin A. Khan, Khotso Selialia, Luis Garcia, Joseph DeGol, Fatima M. Anwar - Revolutionizing Battery Disassembly: The Design and Implementation of a Battery Disassembly Autonomous Mobile Manipulator Robot(BEAM-1)
Yanlong Peng, Zhigang Wang, Yisheng Zhang, Shengmin Zhang, Nan Cai, Fan Wu, Ming Chen
2024-07-02
- Scope-enhanced Compositional Semantic Parsing for DRT
Xiulin Yang, Jonas Groschwitz, Alexander Koller, Johan Bos
2024-06-25
- Large Language Models are Interpretable Learners
Ruochen Wang, Si Si, Felix Yu, Dorothea Wiesmann, Cho-Jui Hsieh, Inderjit Dhillon
2024-06-17
- Metacognitive AI: Framework and the Case for a Neurosymbolic Approach
Hua Wei, Paulo Shakarian, Christian Lebiere, Bruce Draper, Nikhil Krishnaswamy, Sergei Nirenburg - Satyrn: A Platform for Analytics Augmented Generation
Marko Sterbentz, Cameron Barrie, Shubham Shahi, Abhratanu Dutta, Donna Hooshmand, Harper Pack, Kristian J. Hammond
2024-06-10
- Data-Efficient Learning with Neural Programs
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong - Federated Machine Reasoning for Resource Provisioning in 6G O-RAN
Swastika Roy, Hatim Chergui, Adlen Ksentini, Christos Verikoukis
2024-06-07
- StackSight: Unveiling WebAssembly through Large Language Models and Neurosymbolic Chain-of-Thought Decompilation
Weike Fang, Zhejian Zhou, Junzhou He, Weihang Wang
2024-06-06
- On the Hardness of Probabilistic Neurosymbolic Learning
Jaron Maene, Vincent Derkinderen, Luc De Raedt
2024-06-03
- A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
Alice Bizzarri, Chung-En Yu, Brian Jalaian, Fabrizio Riguzzi, Nathaniel D. Bastian
2024-05-24
- Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
Ramya Ramalingam, Sangdon Park, Osbert Bastani - A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
Parth Padalkar, Natalia Ślusarz, Ekaterina Komendantskaya, Gopal Gupta
2024-05-19
- Searching Realistic-Looking Adversarial Objects For Autonomous Driving Systems
Shengxiang Sun, Shenzhe Zhu
2024-05-12
- Semantic Loss Functions for Neuro-Symbolic Structured Prediction
Kareem Ahmed, Stefano Teso, Paolo Morettin, Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Yitao Liang, Eric Wang, Kai-Wei Chang, Andrea Passerini, Guy Van den Broeck
2024-05-02
- Identification of Entailment and Contradiction Relations between Natural Language Sentences: A Neurosymbolic Approach
Xuyao Feng, Anthony Hunter
2024-04-30
- IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
Maarten C. Stol, Alessandra Mileo
2024-04-21
- BANSAI: Towards Bridging the AI Adoption Gap in Industrial Robotics with Neurosymbolic Programming
Benjamin Alt, Julia Dvorak, Darko Katic, Rainer Jäkel, Michael Beetz, Gisela Lanza
2024-04-18
- Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
Abhinav Lalwani, Tasha Kim, Lovish Chopra, Christopher Hahn, Zhijing Jin, Mrinmaya Sachan
2024-04-12
- On the Independence Assumption in Neurosymbolic Learning
Emile van Krieken, Pasquale Minervini, Edoardo M. Ponti, Antonio Vergari - A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
2024-04-04
- Standardizing Knowledge Engineering Practices with a Reference Architecture
Bradley P. Allen, Filip Ilievski
2024-04-01
2024-03-20
- Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment
Lauren Okamoto, Paritosh Parmar - Learning to Infer Generative Template Programs for Visual Concepts
R. Kenny Jones, Siddhartha Chaudhuri, Daniel Ritchie
2024-03-15
- EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
Kinjal Basu, Keerthiram Murugesan, Subhajit Chaudhury, Murray Campbell, Kartik Talamadupula, Tim Klinger
2024-03-14
- Symbiotic Game and Foundation Models for Cyber Deception Operations in Strategic Cyber Warfare
Tao Li, Quanyan Zhu
2024-02-20
- Improving Neural-based Classification with Logical Background Knowledge
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
2024-02-07
- Three Pathways to Neurosymbolic Reinforcement Learning with Interpretable Model and Policy Networks
Peter Graf, Patrick Emami
2024-02-06
- Symbol Correctness in Deep Neural Networks Containing Symbolic Layers
Aaron Bembenek, Toby Murray
2024-02-05
- Neural networks for abstraction and reasoning: Towards broad generalization in machines
Mikel Bober-Irizar, Soumya Banerjee
2024-01-19
- Optimisation in Neurosymbolic Learning Systems
Emile van Krieken
2024-01-17
- Large Language Models Are Neurosymbolic Reasoners
Meng Fang, Shilong Deng, Yudi Zhang, Zijing Shi, Ling Chen, Mykola Pechenizkiy, Jun Wang
2024-01-06
- A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez, Houbing Herbert Song
2023
2023-12-21
- Structure-Aware Path Inference for Neural Finite State Transducers
Weiting Tan, Chu-cheng Lin, Jason Eisner
2023-12-15
- Neurosymbolic Value-Inspired AI (Why, What, and How)
Amit Sheth, Kaushik Roy
2023-12-11
2023-12-05
- Building Trustworthy NeuroSymbolic AI Systems: Consistency, Reliability, Explainability, and Safety
Manas Gaur, Amit Sheth
2023-11-08
- On the Multiple Roles of Ontologies in Explainable AI
Roberto Confalonieri, Giancarlo Guizzardi
2023-10-30
- LILO: Learning Interpretable Libraries by Compressing and Documenting Code
Gabriel Grand, Lionel Wong, Maddy Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
2023-10-24
- MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2023-10-23
- LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
2023-10-19
- Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks
Parth Padalkar, Gopal Gupta - Neurosymbolic Grounding for Compositional World Models
Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri
2023-10-18
- From Neural Activations to Concepts: A Survey on Explaining Concepts in Neural Networks
Jae Hee Lee, Sergio Lanza, Stefan Wermter
2023-10-11
- What can knowledge graph alignment gain with Neuro-Symbolic learning approaches?
Pedro Giesteira Cotovio, Ernesto Jimenez-Ruiz, Catia Pesquita
2023-09-25
- Guess & Sketch: Language Model Guided Transpilation
Celine Lee, Abdulrahman Mahmoud, Michal Kurek, Simone Campanoni, David Brooks, Stephen Chong, Gu-Yeon Wei, Alexander M. Rush
2023-09-19
- Weakly Supervised Reasoning by Neuro-Symbolic Approaches
Xianggen Liu, Zhengdong Lu, Lili Mou
2023-09-05
- Neurosymbolic Meta-Reinforcement Lookahead Learning Achieves Safe Self-Driving in Non-Stationary Environments
Haozhe Lei, Quanyan Zhu
2023-09-02
- Neurosymbolic Reinforcement Learning and Planning: A Survey
K. Acharya, W. Raza, C. M. J. M. Dourado Jr, A. Velasquez, H. Song
2023-08-12
- Approximate Answering of Graph Queries
Michael Cochez, Dimitrios Alivanistos, Erik Arakelyan, Max Berrendorf, Daniel Daza, Mikhail Galkin, Pasquale Minervini, Mathias Niepert, Hongyu Ren
2023-08-09
- Neuro-Symbolic RDF and Description Logic Reasoners: The State-Of-The-Art and Challenges
Gunjan Singh, Sumit Bhatia, Raghava Mutharaju
2023-08-05
- dPASP: A Comprehensive Differentiable Probabilistic Answer Set Programming Environment For Neurosymbolic Learning and Reasoning
Renato Lui Geh, Jonas Gonçalves, Igor Cataneo Silveira, Denis Deratani Mauá, Fabio Gagliardi Cozman
2023-07-25
- Word Sense Disambiguation as a Game of Neurosymbolic Darts
Tiansi Dong, Rafet Sifa
2023-07-17
- Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs
Lauren Nicole DeLong, Ramon Fernández Mir, Zonglin Ji, Fiona Niamh Coulter Smith, Jacques D. Fleuriot
2023-07-07
- Teach Me How to Learn: A Perspective Review towards User-centered Neuro-symbolic Learning for Robotic Surgical Systems
Amr Gomaa, Bilal Mahdy, Niko Kleer, Michael Feld, Frank Kirchner, Antonio Krüger
2023-06-19
- Fine-tuning Large Enterprise Language Models via Ontological Reasoning
Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri, Andrea Colombo, Andrea Gentili, Emanuel Sallinger
2023-06-01
- Parallel Neurosymbolic Integration with Concordia
Jonathan Feldstein, Modestas Jurčius, Efthymia Tsamoura
2023-05-24
- Structural Ambiguity and its Disambiguation in Language Model Based Parsers: the Case of Dutch Clause Relativization
Gijs Wijnholds, Michael Moortgat
2023-05-22
- NeSy4VRD: A Multifaceted Resource for Neurosymbolic AI Research using Knowledge Graphs in Visual Relationship Detection
David Herron, Ernesto Jiménez-Ruiz, Giacomo Tarroni, Tillman Weyde
2023-05-12
- Neurosymbolic AI and its Taxonomy: a survey
Wandemberg Gibaut, Leonardo Pereira, Fabio Grassiotto, Alexandre Osorio, Eder Gadioli, Amparo Munoz, Sildolfo Gomes, Claudio dos Santos - Professional Ethics by Design: Co-creating Codes of Conduct for Computational Practice
Samuel Danzon-Chambaud, Marguerite Foissac
2023-05-07
- Neurosymbolic Artificial Intelligence (NSAI) based Algorithm for predicting the Impact Strength of Additive Manufactured Polylactic Acid (PLA) Specimens
Akshansh Mishra, Vijaykumar S Jatti
2023-05-03
- Continual Reasoning: Non-Monotonic Reasoning in Neurosymbolic AI using Continual Learning
Sofoklis Kyriakopoulos, Artur S. d'Avila Garcez
2023-05-01
- Neurosymbolic AI -- Why, What, and How
Amit Sheth, Kaushik Roy, Manas Gaur
2023-04-20
- A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making
Carlos Núñez-Molina, Pablo Mesejo, Juan Fernández-Olivares - Neurosymbolic Models for Computer Graphics
Daniel Ritchie, Paul Guerrero, R. Kenny Jones, Niloy J. Mitra, Adriana Schulz, Karl D. D. Willis, Jiajun Wu
2023-04-18
- Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
João Flach, Alvaro F. Moreira, Luis C. Lamb
2023-04-10
- Scallop: A Language for Neurosymbolic Programming
Ziyang Li, Jiani Huang, Mayur Naik
2023-03-24
- Factorizers for Distributed Sparse Block Codes
Michael Hersche, Aleksandar Terzic, Geethan Karunaratne, Jovin Langenegger, Angéline Pouget, Giovanni Cherubini, Luca Benini, Abu Sebastian, Abbas Rahimi
2023-03-07
- A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil Prokhorov, Geogios Fainekos, Jyotirmoy Deshmukh
2023-03-01
- A Framework for Neurosymbolic Robot Action Planning using Large Language Models
Alessio Capitanelli, Fulvio Mastrogiovanni
2023-02-14
- Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
Lauren Nicole DeLong, Ramon Fernández Mir, Jacques D. Fleuriot
2023-02-04
- Invariants for neural automata
Jone Uria-Albizuri, Giovanni Sirio Carmantini, Peter beim Graben, Serafim Rodrigues
2023-01-30
- NeSyFOLD: Neurosymbolic Framework for Interpretable Image Classification
Parth Padalkar, Huaduo Wang, Gopal Gupta
2022
2022-12-23
- A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
Emile van Krieken, Thiviyan Thanapalasingam, Jakub M. Tomczak, Frank van Harmelen, Annette ten Teije
2022-12-21
- CoRRPUS: Code-based Structured Prompting for Neurosymbolic Story Understanding
Yijiang River Dong, Lara J. Martin, Chris Callison-Burch
2022-12-02
- Guaranteed Conformance of Neurosymbolic Models to Natural Constraints
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
2022-11-29
- Neural Feature-Adaptation for Symbolic Predictions Using Pre-Training and Semantic Loss
Vedant Shah, Aditya Agrawal, Lovekesh Vig, Ashwin Srinivasan, Gautam Shroff, Tanmay Verlekar
2022-11-08
- NESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation
Abbavaram Gowtham Reddy, Vineeth N Balasubramanian
2022-10-24
- Structural generalization is hard for sequence-to-sequence models
Yuekun Yao, Alexander Koller
2022-10-13
- Behavior Cloned Transformers are Neurosymbolic Reasoners
Ruoyao Wang, Peter Jansen, Marc-Alexandre Côté, Prithviraj Ammanabrolu
2022-10-11
- ViLPAct: A Benchmark for Compositional Generalization on Multimodal Human Activities
Terry Yue Zhuo, Yaqing Liao, Yuecheng Lei, Lizhen Qu, Gerard de Melo, Xiaojun Chang, Yazhou Ren, Zenglin Xu - Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Xiaowu Sun, Yasser Shoukry
2022-10-10
- Neurosymbolic Programming for Science
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes
2022-10-03
- Enhancing Interpretability and Interactivity in Robot Manipulation: A Neurosymbolic Approach
Georgios Tziafas, Hamidreza Kasaei
2022-09-28
- Guiding Safe Exploration with Weakest Preconditions
Greg Anderson, Swarat Chaudhuri, Isil Dillig
2022-09-08
- Dr. Neurosymbolic, or: How I Learned to Stop Worrying and Accept Statistics
Masataro Asai - Survey on Applications of Neurosymbolic Artificial Intelligence
Djallel Bouneffouf, Charu C. Aggarwal
2022-07-24
- Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
2022-07-11
- Physics Informed Symbolic Networks
Ritam Majumdar, Vishal Jadhav, Anirudh Deodhar, Shirish Karande, Lovekesh Vig, Venkataramana Runkana
2022-06-13
- From Perception to Programs: Regularize, Overparameterize, and Amortize
Hao Tang, Kevin Ellis
2022-06-07
- Learning Symbolic Operators: A Neurosymbolic Solution for Autonomous Disassembly of Electric Vehicle Battery
Yidong Du, Wenshuo Wang, Zhigang Wang, Hua Yang, Haitao Wang, Yinghao Cai, Ming Chen
2022-05-16
- Autonomous Electric Vehicle Battery Disassembly Based on NeuroSymbolic Computing
Hengwei Zhang, Hua Yang, Haitao Wang, Zhigang Wang, Shengmin Zhang, Ming Chen
2022-03-28
- Neurosymbolic hybrid approach to driver collision warning
Kyongsik Yun, Thomas Lu, Alexander Huyen, Patrick Hammer, Pei Wang
2022-03-15
- Safe Neurosymbolic Learning with Differentiable Symbolic Execution
Chenxi Yang, Swarat Chaudhuri
2021
2021-12-10
- Logical Boltzmann Machines
Son N. Tran, Artur d'Avila Garcez
2021-12-02
- Neurosymbolic Systems of Perception & Cognition: The Role of Attention
Hugo Latapie, Ozkan Kilic, Kristinn R. Thorisson, Pei Wang, Patrick Hammer
2021-11-20
- Explainable Biomedical Recommendations via Reinforcement Learning Reasoning on Knowledge Graphs
Gavin Edwards, Sebastian Nilsson, Benedek Rozemberczki, Eliseo Papa
2021-10-26
- Neural Program Generation Modulo Static Analysis
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine
2021-08-25
- From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt
2021-08-17
- Learning C to x86 Translation: An Experiment in Neural Compilation
Jordi Armengol-Estapé, Michael F. P. O'Boyle
2021-07-28
- Unsupervised Learning of Neurosymbolic Encoders
Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri
2021-06-16
- Techniques for Symbol Grounding with SATNet
Sever Topan, David Rolnick, Xujie Si
2021-04-14
- Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig - Jointly Learning Truth-Conditional Denotations and Groundings using Parallel Attention
Leon Bergen, Dzmitry Bahdanau, Timothy J. O'Donnell
2021-01-05
- Neurosymbolic Transformers for Multi-Agent Communication
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
2020
2020-12-28
- Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics
Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan
2020-12-25
- Logic Tensor Networks
Samy Badreddine, Artur d'Avila Garcez, Luciano Serafini, Michael Spranger
2020-12-10
- Neurosymbolic AI: The 3rd Wave
Artur d'Avila Garcez, Luis C. Lamb
2020-12-05
- Neurosymbolic AI for Situated Language Understanding
Nikhil Krishnaswamy, James Pustejovsky
2020-10-23
- Generative Neurosymbolic Machines
Jindong Jiang, Sungjin Ahn
2020-09-26
- Neurosymbolic Reinforcement Learning with Formally Verified Exploration
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020-09-13
- Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
Marcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro Avelar, João M. Flach, Luis C. Lamb, Moshe Y. Vardi
2019
2019-07-12
- Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination
Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
2019-01-24
- Learning Neurosymbolic Generative Models via Program Synthesis
Halley Young, Osbert Bastani, Mayur Naik
2018
2018-03-31
- HOUDINI: Lifelong Learning as Program Synthesis
Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri