20 citations · 20 across the 1 of their papers we have counts for
2 papers
cs.LG2019★ 20 cited
G2SAT: Learning to Generate SAT Formulas
Jiaxuan You, Haoze Wu, Clark Barrett +2
The Boolean Satisfiability (SAT) problem is the canonical NP-complete problem and is fundamental to computer science, with a wide array of applications in planning, verification, a…
cs.CV2018
Machine Learning Methods for Track Classification in the AT-TPC
Michelle P. Kuchera, Raghuram Ramanujan, Jack Z. Taylor +4
We evaluate machine learning methods for event classification in the Active-Target Time Projection Chamber detector at the National Superconducting Cyclotron Laboratory (NSCL) at M…