2025W

• Automated Deduction / 184.774 / VU
• Formal Methods in Systems Engineering / 192.164 / VU

• Synthesis Benchmarks for Automated Reasoning / Hajdu, M., Hozzová, P., Kovacs, L., Voronkov, A., Wagner, E. M., & Žilinčík, R. S. (2025). Synthesis Benchmarks for Automated Reasoning. In V. de Paiva & P. Koepke (Eds.), Intelligent Computer Mathematics (pp. 21–28). Springer Nature Link. https://doi.org/10.1007/978-3-032-07021-0_2
• Program synthesis of provable recursive functions / Wagner, E. M. (2024). Program synthesis of provable recursive functions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.120500
  Download: PDF (1.18 MB)
• Synthesis of Recursive Programs in Saturation / Hozzová, P., Amrollahi, D., Hajdu, M., Kovács, L., Voronkov, A., & Wagner, E. M. (2024). Synthesis of Recursive Programs in Saturation. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (pp. 154–171). Springer International Publishing. https://doi.org/10.1007/978-3-031-63498-7_10