Graph2Tac: Online Representation Learning of Formal Math Concepts
- Lasse Blaauwbroek
- Miroslav Olšák
- et al.
- 2024
- ICML 2024
Publications
Date
Featured collections
Popular topics
301 results for Neuro-symbolic AI
Mixed selectivity: Cellular computations for complexity
- Kay M. Tye
- Earl K. Miller
- et al.
- 2024
- Neuron
Deductive Verification of LLM generated SPARQL queries
- 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
Reducing computational complexity of perception and reasoning by neuro-vector-symbolic architectures
- 2024
- DATE 2024