Let the flows tell: Solving graph combinatorial problems with gflownets

D Zhang, H Dai, N Malkin… - Advances in neural …, 2023 - proceedings.neurips.cc
Combinatorial optimization (CO) problems are often NP-hard and thus out of reach for exact
algorithms, making them a tempting domain to apply machine learning methods. The highly …

Variational annealing on graphs for combinatorial optimization

S Sanokowski, W Berghammer… - Advances in …, 2023 - proceedings.neurips.cc
Several recent unsupervised learning methods use probabilistic approaches to solve
combinatorial optimization (CO) problems based on the assumption of statistically …

From distribution learning in training to gradient search in testing for combinatorial optimization

Y Li, J Guo, R Wang, J Yan - Advances in Neural …, 2024 - proceedings.neurips.cc
Extensive experiments have gradually revealed the potential performance bottleneck of
modeling Combinatorial Optimization (CO) solving as neural solution prediction tasks. The …

Revisiting sampling for combinatorial optimization

H Sun, K Goshvadi, A Nova… - International …, 2023 - proceedings.mlr.press
Sampling approaches like Markov chain Monte Carlo were once popular for combinatorial
optimization, but the inefficiency of classical methods and the need for problem-specific …

On learning latent models with multi-instance weak supervision

K Wang, E Tsamoura, D Roth - Advances in Neural …, 2024 - proceedings.neurips.cc
We consider a weakly supervised learning scenario where the supervision signal is
generated by a transition function $\sigma $ of labels associated with multiple input …

Maximum independent set: self-training through dynamic programming

L Brusca, LCPM Quaedvlieg… - Advances in …, 2023 - proceedings.neurips.cc
This work presents a graph neural network (GNN) framework for solving the maximum
independent set (MIS) problem, inspired by dynamic programming (DP). Specifically, given …

Diffusion models as constrained samplers for optimization with unknown constraints

L Kong, Y Du, W Mu, K Neklyudov, V De Bortol… - arXiv preprint arXiv …, 2024 - arxiv.org
Addressing real-world optimization problems becomes particularly challenging when
analytic objective functions or constraints are unavailable. While numerous studies have …

Efficient Combinatorial Optimization via Heat Diffusion

H Ma, W Lu, J Feng - arXiv preprint arXiv:2403.08757, 2024 - arxiv.org
Combinatorial optimization problems are widespread but inherently challenging due to their
discrete nature. The primary limitation of existing methods is that they can only access a …

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking

W Luo, P Liang, J Qiu, P Chen, H Wan, J Du… - Proceedings of the 33rd …, 2024 - dl.acm.org
Linear temporal logic (LTL) satisfiability checking has a high complexity, ie, PSPACE-
complete. Recently, neural networks have been shown to be promising in approximately …

Tackling Prevalent Conditions in Unsupervised Combinatorial Optimization: Cardinality, Minimum, Covering, and More

F Bu, H Jo, SY Lee, S Ahn, K Shin - arXiv preprint arXiv:2405.08424, 2024 - arxiv.org
Combinatorial optimization (CO) is naturally discrete, making machine learning based on
differentiable optimization inapplicable. Karalias & Loukas (2020) adapted the probabilistic …