 HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation
and A Strong Structure-Hardness-Aware BaselineKnowledge Discovery and Data Mining (KDD), 2023 |
 Machine Learning Methods in Solving the Boolean Satisfiability ProblemMachine Intelligence Research (MIR), 2022 |
 LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningInternational Conference on Machine Learning (ICML), 2021 |
