Gradient-Based Optimization on Gödel Logic as Discrete Local Search

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Daniele, Alessandro, van Krieken, Emile
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Optimisation in Neurosymbolic Learning Systems
di: van Krieken, Emile
Pubblicazione: (2024)

On the Theoretical Limitations of Embedding-based Link Prediction
di: Badreddine, Samy, et al.
Pubblicazione: (2025)

Neurosymbolic Diffusion Models
di: van Krieken, Emile, et al.
Pubblicazione: (2025)

Neurosymbolic Reasoning Shortcuts under the Independence Assumption
di: van Krieken, Emile, et al.
Pubblicazione: (2025)

ULLER: A Unified Language for Learning and Reasoning
di: van Krieken, Emile, et al.
Pubblicazione: (2024)

On the Independence Assumption in Neurosymbolic Learning
di: van Krieken, Emile, et al.
Pubblicazione: (2024)

GRAPES: Learning to Sample Graphs for Scalable Graph Neural Networks
di: Younesian, Taraneh, et al.
Pubblicazione: (2023)

Mixtures of In-Context Learners
di: Hong, Giwon, et al.
Pubblicazione: (2024)

BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2024)

Fast and Expressive Multi-Token Prediction with Probabilistic Circuits
di: Grivas, Andreas, et al.
Pubblicazione: (2025)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
di: Bortolotti, Samuele, et al.
Pubblicazione: (2024)

Gödel's Poetry
di: Davis, Kelly J.
Pubblicazione: (2025)

CAGES: Cost-Aware Gradient Entropy Search for Efficient Local Multi-Fidelity Bayesian Optimization
di: Tang, Wei-Ting, et al.
Pubblicazione: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)

Tessellations of Semi-Discrete Flow Matching
di: Pierret, Emile, et al.
Pubblicazione: (2026)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
di: Meli, Daniele, et al.
Pubblicazione: (2024)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
di: Bizzaro, Davide, et al.
Pubblicazione: (2025)

Reheated Gradient-based Discrete Sampling for Combinatorial Optimization
di: Li, Muheng, et al.
Pubblicazione: (2025)

Offline Model-Based Optimization via Policy-Guided Gradient Search
di: Chemingui, Yassine, et al.
Pubblicazione: (2024)

Gradient Estimation with Discrete Stein Operators
di: Shi, Jiaxin, et al.
Pubblicazione: (2022)

Locality-aware Surrogates for Gradient-based Black-box Optimization
di: Momeni, Ali, et al.
Pubblicazione: (2025)

Policy Gradient with Tree Search: Avoiding Local Optimas through Lookahead
di: Koren, Uri, et al.
Pubblicazione: (2025)

Guided Sketch-Based Program Induction by Search Gradients
di: Amin, Ahmad Ayaz
Pubblicazione: (2024)

Dimensional Peeking for Low-Variance Gradients in Zeroth-Order Discrete Optimization via Simulation
di: Andelfinger, Philipp, et al.
Pubblicazione: (2026)

Gradient-based Discrete Sampling with Automatic Cyclical Scheduling
di: Pynadath, Patrick, et al.
Pubblicazione: (2024)

Corridor Geometry in Gradient-Based Optimization
di: Dherin, Benoit, et al.
Pubblicazione: (2024)

Gradient Extrapolation-Based Policy Optimization
di: Swapnil, Ismam Nur, et al.
Pubblicazione: (2026)

Local LMO: Constrained Gradient Optimization via a Local Linear Minimization Oracle
di: Richtárik, Peter, et al.
Pubblicazione: (2026)

Efficient Reinforcement Learning for Global Decision Making in the Presence of Local Agents at Scale
di: Anand, Emile, et al.
Pubblicazione: (2024)

Optimization of Discrete Parameters Using the Adaptive Gradient Method and Directed Evolution
di: Beinarovich, Andrei, et al.
Pubblicazione: (2024)

Weight-Entanglement Meets Gradient-Based Neural Architecture Search
di: Sukthanker, Rhea Sanjay, et al.
Pubblicazione: (2023)

Minimizing UCB: a Better Local Search Strategy in Local Bayesian Optimization
di: Fan, Zheyi, et al.
Pubblicazione: (2024)

Policy Optimization in Hybrid Discrete-Continuous Action Spaces via Mixed Gradients
di: Alvo, Matias, et al.
Pubblicazione: (2026)

Bayesian Optimization that Limits Search Region to Lower Dimensions Utilizing Local GPR
di: Taguchi, Yasunori, et al.
Pubblicazione: (2024)

BitLogic: Training Framework for Gradient-Based FPGA-Native Neural Networks
di: Bührer, Simon, et al.
Pubblicazione: (2026)

Mind the Gap: Removing the Discretization Gap in Differentiable Logic Gate Networks
di: Yousefi, Shakir, et al.
Pubblicazione: (2025)

Edge-Selector Model Applied for Local Search Neighborhood for Solving Vehicle Routing Problems
di: Herdianto, Bachtiar, et al.
Pubblicazione: (2025)

Local Entropy Search over Descent Sequences for Bayesian Optimization
di: Stenger, David, et al.
Pubblicazione: (2025)

Decreasing Entropic Regularization Averaged Gradient for Semi-Discrete Optimal Transport
di: Genans, Ferdinand, et al.
Pubblicazione: (2025)

Learning Discrete Diffusion of Graphs via Free-Energy Gradient Flows
di: Rancati, Dario, et al.
Pubblicazione: (2026)