@InProceedings{AJS26,
    Author       = "Axelrod, G. and Johansson, M. and Smallbone, N.",
    Year         = "2026",
    Title        = "{Twitch: Learning Abstractions for Equational Theorem Proving}",
    Editor       = "Biere, A. and Lutz, C. and Negri, S.",
    BookTitle    = "{Proceedings of the 13th International Joint Conference on Automated
                    Reasoning}",
    Place        = "Lisbon, Portugal",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "16688",
    Pages        = "To appear",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}