Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures.

Paulius Dilkas Vaishak Belle

Published in: CoRR (2023)

Keyphrases

recursive functions
inductive inference
model counting
polynomial size
weighted model counting
machine learning
first order logic
satisfiability testing
knowledge compilation
information extraction
probabilistic inference
real valued functions