C. Vieira, J. Castrillon, and A. Beck. 6th Workshop on Accelerated Machine Learning (AccML), co-located with 19th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC), page 7pp. (January 2024)
F. Baader, and O. Fernández Gil. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, volume 14740 of Lecture Notes in Computer Science, page 279--297. Springer, (2024)