Skip to content

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs.

Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori, Francesco Giannini, Michelangelo Diligenti, Giuseppe Marra

VenueA*AAAI
Year2026
ProceedingsAAAI

Browse the full AAAI paper archive.