415 citations · 443 across the 16 of their papers we have counts for
3 papers · 1 filter
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Wenxi Wang, Yang Hu, Mohit Tiwari +3
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are base…
AutoInit: Analytic Signal-Preserving Weight Initialization for Neural Networks
Garrett Bingham, Risto Miikkulainen
Neural networks require careful weight initialization to prevent signals from exploding or vanishing. Existing initialization schemes solve this problem in specific cases by assumi…
Evolving GAN Formulations for Higher Quality Image Synthesis
Santiago Gonzalez, Mohak Kant, Risto Miikkulainen
Generative Adversarial Networks (GANs) have extended deep learning to complex generation and translation tasks across different data modalities. However, GANs are notoriously diffi…