Co-occurring keywords · papers mentioning both
Papers
SheetBrain: A Neuro-Symbolic Agent for Accurate Reasoning over Complex and Large Spreadsheets
AAAI 2026
Neuro-Symbolic Query Compiler
ACL 2025
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
AAAI 2025
A differentiable first-order rule learner for inductive logic programming (Abstract Reprint)
IJCAI 2024
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
NeurIPS 2024
Discrete Dictionary-based Decomposition Layer for Structured Representation Learning
NeurIPS 2024
Modeling Low-Resource Health Coaching Dialogues via Neuro-Symbolic Goal Summarization and Text-Units-Text Generation
COLING 2024
Relational Programming with Foundational Models
AAAI 2024
Linguistic Frameworks Go Toe-to-Toe at Neuro-Symbolic Language Modeling
NAACL 2022
Teaching Temporal Logics to Neural Networks
ICLR 2021
ETHAN at SemEval-2020 Task 5: Modelling Causal Reasoning in Language Using Neuro-symbolic Cloud Computing
SemEval 2020
NeurASP: Embracing Neural Networks into Answer Set Programming
IJCAI 2020