1 paper
Stefan Bischof, Juliana Kainz, Danilo Valerio
Neurosymbolic research typically assumes a pre-existing symbolic specification, leaving the upstream challenge of acquiring and formalizing requirements and constraints largely una…