12 citations · 18 across the 5 of their papers we have counts for
3 papers · 1 filter
Differentiable Inductive Logic Programming in High-Dimensional Space
Stanisław J. Purgał, David M. Cerna, Cezary Kaliszyk
Synthesizing large logic programs through symbolic Inductive Logic Programming (ILP) typically requires intermediate definitions. However, cluttering the hypothesis space with inte…
Adversarial Learning to Reason in an Arbitrary Logic
Stanisław J. Purgał, Cezary Kaliszyk
Existing approaches to learning to prove theorems focus on particular logics and datasets. In this work, we propose Monte-Carlo simulations guided by reinforcement learning that ca…
Learning Higher-Order Programs without Meta-Interpretive Learning
Stanisław J. Purgał, David M. Cerna, Cezary Kaliszyk
Learning complex programs through inductive logic programming (ILP) remains a formidable challenge. Existing higher-order enabled ILP systems show improved accuracy and learning pe…