Search Results for author:
Found 2 papers, 0 papers with code
Training Neural Networks using SAT solvers
We propose an algorithm to explore the global optimization method, using SAT solvers, for training a neural net.
Learning Equations for Extrapolation and Control
We present an approach to identify concise equations from data using a shallow neural network approach.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
