3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Ekaterina Komendantskaya
This invited paper introduces the concept of "proof-carrying neuro-symbolic code" and explains its meaning and value, from both the "neural" and the "symbolic" perspectives. The ta…