99 citations · 150 across the 18 of their papers we have counts for
3 papers · 1 filter
Assessing SATNet's Ability to Solve the Symbol Grounding Problem
Oscar Chang, Lampros Flokas, Hod Lipson +1
SATNet is an award-winning MAXSAT solver that can be used to infer logical rules and integrated as a differentiable layer in a deep neural network. It had been shown to solve Sudok…
A Modular Engine for Quantum Monte Carlo Integration
Ismail Yunus Akhalwaya, Adam Connolly, Roland Guichard +8
We present the Quantum Monte Carlo Integration (QMCI) engine developed by Quantinuum. It is a quantum computational tool for evaluating multi-dimensional integrals that arise in va…
logLTN: Differentiable Fuzzy Logic in the Logarithm Space
Samy Badreddine, Luciano Serafini, Michael Spranger
The AI community is increasingly focused on merging logic with deep learning to create Neuro-Symbolic (NeSy) paradigms and assist neural approaches with symbolic knowledge. A signi…