Picture for Natalia Slusarz

Natalia Slusarz

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Add code
Jan 12, 2024
Viaarxiv icon

Differentiable Logics for Neural Network Training and Verification

Add code
Jul 14, 2022
Figure 1 for Differentiable Logics for Neural Network Training and Verification
Viaarxiv icon