Announcement_5
Our papers Incremental Inference for Probabilistic Datalog and PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis have been accepted to CAV 2026 and FMCAD 2026, respectively.
Our papers Incremental Inference for Probabilistic Datalog and PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis have been accepted to CAV 2026 and FMCAD 2026, respectively.