Search Results for author:
Found 2 papers, 1 papers with code
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Neuro-symbolic programs -- programs containing both machine learning components and traditional symbolic code -- are becoming increasingly widespread.
Differentiable Logics for Neural Network Training and Verification
What difference does a specific choice of DL make in the context of continuous verification?
Cannot find the paper you are looking for? You can
Submit a new open access paper.
