Subham S. Sahoo

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Boolean Satisfiability

Learning Community

Top Venues

Publications

Subham S. Sahoo
Training Neural Networks using SAT solvers. CoRR (2022)
Subham S. Sahoo, Christoph H. Lampert, Georg Martius
Learning Equations for Extrapolation and Control. ICML (2018)
Subham S. Sahoo, Christoph H. Lampert, Georg Martius
Learning Equations for Extrapolation and Control. CoRR (2018)