Hadar Shavit PhD Candidate

About Me

I'm a PhD Candidate at the Chair of AI Methodologies at RWTH Aachen University. My research focus is AutoAI for NP-Complete problems, with focus on nueral network verificatio.


    • 01/12/2023: I started my PhD at AIM.
      25/09/2023: I successfully defended my master's thesis on Automated Algorithm Selection of SAT Solvers Using Graph Neural Networks.
      23/10/2022: My first paper got accepted to the ICBINB workshop @ NeurIPS!