ML Anthology

Myreen, Magnus O.

1 publications

AAAI 2024 End-to-End Verification for Subgraph Solving Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan