Grounding Neural Inference with Satisfiability Modulo Theories.

Zifan Wang Saranya Vijayakumar Kaiji Lu Vijay Ganesh Somesh Jha Matt Fredrikson

Published in: NeurIPS (2023)

Keyphrases

satisfiability modulo theories
modulo theories
answer set programming