Publications

312 results for Neuro-symbolic AI

On the Number of Quantifiers Needed to Define Boolean Functions
- - Marco Carmosino
  - Ronald Fagin
  - et al.
- 2024
- MFCS 2024
Graph2Tac: Online Representation Learning of Formal Math Concepts
- - Lasse Blaauwbroek
  - Miroslav Olšák
  - et al.
- 2024
- ICML 2024
Mixed selectivity: Cellular computations for complexity
- - Kay M. Tye
  - Earl K. Miller
  - et al.
- 2024
- Neuron
Deductive Verification of LLM generated SPARQL queries
- - Alexandre Rademaker
  - Guilherme Augusto Ferreira Lima
  - et al.
- 2024
- LREC-COLING 2024
GENOME: Generative Neuro-Symbolic Visual Reasoning by Growing and Reusing Modules
- - Zhenfang Chen
  - Rui Sun
  - et al.
- 2024
- ICLR 2024
A Probabilistic Framework for Modular Continual Learning
- - Lazar Valkov
  - Akash Srivastava
  - et al.
- 2024
- ICLR 2024
Theory-guided Message Passing Neural Network for Probabilistic Inference
- - Zijun Cui
  - Hanjing Wang
  - et al.
- 2024
- AISTATS 2024
Sandwiched Lo-res Simulation for Scalable Flood Modeling
- - Refaldi Intri Dwi Putra
  - Tatsuya Ishikawa
  - et al.
- 2024
- ICASSP 2024
CHRONOS: A Schema-Based Event Understanding and Prediction System
- - Maria Chang
  - Achille Fokoue
  - et al.
- 2024
- IAAI 2024
Zero-shot Classification using Hyperdimensional Computing
- - Samuele Ruffino
  - Kumudu Geethan Karunaratne
  - et al.
- 2024
- DATE 2024