Zhengyang Lu 0002, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh 0001. Learning SMT Algorithm Selection with High-Level Natural-Language Descriptions. In Anni-Yasmin Turhan, Jonni Virtema, editors, Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings. Volume 16475 of Lecture Notes in Computer Science, pages 353-358, Springer, 2026. [doi]
Abstract is missing.