Gradient-Based Optimization on G\”odel Logic as Discrete Local Search
arXiv:2503.01817v2 Announce Type: replace
Abstract: A fundamental challenge in neurosymbolic systems is applying continuous gradient-based optimization to discrete logical domains. While fuzzy relaxations provide differentiability, they often lack a f…