Angeliki Koutsoukou-Argyraki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Towards a Common Framework for Autoformalization. | Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis |
| 2023 | CPP | A Formalisation of the Balog-Szemerdi-Gowers Theorem in Isabelle/HOL. | Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds |
| 2023 | ITP | Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk). | Angeliki Koutsoukou-Argyraki |
| 2021 | CiE | On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy. | Angeliki Koutsoukou-Argyraki |