Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2311.09809
Cited By
Comparing Differentiable Logics for Learning Systems: A Research Preview
16 November 2023
Thomas Flinkow
Ba Pearlmutter
Rosemary Monahan
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Comparing Differentiable Logics for Learning Systems: A Research Preview"
1 / 1 papers shown
Title
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
M. Daggitt
Wen Kokke
R. Atkey
Natalia Slusarz
Luca Arnaboldi
Ekaterina Komendantskaya
NAI
90
11
0
12 Jan 2024
1
