Gradient-Based Optimization on Godel 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 relaxat