Inductive Synthesis of First-Order Formulas

Published in (To appear in) ICLP25: 41st International Conference on Logic Programming, 2025