99 citations · 150 across the 18 of their papers we have counts for
19 papers
Hakken: Predicting future discoveries to fill the gaps in today's knowledge
Tarek R. Besold, Uchenna Akujuobi, Pablo Sanchez +21
We present Hakken, a domain-agnostic prediction and explanation system performing knowledge prediction, i.e., growing scientific knowledge by establishing novel relationships, ones…
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…
Feasible and Desirable Counterfactual Generation by Preserving Human Defined Constraints
Homayun Afrabandpey, Michael Spranger
We present a human-in-the-loop approach to generate counterfactual (CF) explanations that preserve global and local feasibility constraints. Global feasibility constraints refer to…
MA-Dreamer: Coordination and communication through shared imagination
Kenzo Lobos-Tsunekawa, Akshay Srinivasan, Michael Spranger
Multi-agent RL is rendered difficult due to the non-stationary nature of environment perceived by individual agents. Theoretically sound methods using the REINFORCE estimator are i…