Cole Vick, Samuel Thomas. Domain-Guided Quantifier Instantiation with Yardbird. In Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026, Rio de Janeiro, Brazil, April 12-13, 2026. pages 84-94, ACM, 2026. [doi]
Abstract is missing.