Grounding Neural Inference with Satisfiability Modulo Theories

Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha +1 more
2/12/2026

No confident code implementation found for this paper.

Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{wang2026grounding,
  title  = {Grounding Neural Inference with Satisfiability Modulo Theories},
  author = {Zifan Wang and Saranya Vijayakumar and Kaiji Lu and Vijay Ganesh and Somesh Jha and Matt Fredrikson},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:4673515f20922b8db2bd496a32ca71ff19235cd4},
  journal = {NEURIPS 2023 2023}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/4673515f20922b8db2bd496a32ca71ff19235cd4.svg)](https://codeofpaper.com/paper/4673515f20922b8db2bd496a32ca71ff19235cd4)

Discussion