| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 25 Mar 2024 | SERC | Institute for Infocomm Research | End-to-End Verification for Subgraph Solving | Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan | Proceedings of the AAAI Conference on Artificial Intelligence |