PhD Student
Conference on Neural Information Processing Systems (NeurIPS)
Learning Better Representations From Less Data For Propositional Satisfiability.