2 papers
cs.AI2026
Learning Logical Rules using Minimum Message Length
Ruben Sharma, Sebastijan DumanÄiÄ, Ross D. King +1
Unifying probabilistic and logical learning is a key challenge in AI. We introduce a Bayesian inductive logic programming approach that learns minimum message length hypotheses fro…
cs.LG2025
Compressing Chemistry Reveals Functional Groups
Ruben Sharma, Ross D. King
We introduce the first formal large-scale assessment of the utility of traditional chemical functional groups as used in chemical explanations. Our assessment employs a fundamental…