1. Exploring Automatic Specification Repair in Dafny Programs
2. Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, and Philipp Rümmer. 2022. TriCo---Triple Co-piloting of Implementation, Specification and Tests. In International Symposium on Leveraging Applications of Formal Methods. Springer, 174--187.
3. Open AI. 2023. GPT-4 Technical report. arXiv preprint arXiv:2303.08774 (2023).
4. Lasse Blaauwbroek Josef Urban and Herman Geuvers. 2020. The Tactician. In Intelligent Computer Mathematics. 271--277.
5. Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, Scott Lundberg, et al. 2023. Sparks of artificial general intelligence: Early experiments with gpt-4. arXiv preprint arXiv:2303.12712 (2023).