Inductive Synthesis of First-Order FormulasPublished in (To appear in) ICLP25: 41st International Conference on Logic Programming, 2025Share on Twitter Facebook LinkedIn Previous Next