Siber, Julian

1 publications

NeurIPS 2024 Learning Better Representations from Less Data for Propositional Satisfiability Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner