Publications

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds (2023). A Formalisation of the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.

Cite DOI URL

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever (2022). Formal Mathematics Statement Curriculum Learning. Top 25% paper at ICLR 2023.

Cite URL

Mantas Baksys, Xuanang Chen (2021). On number of different sized induced subgraphs of Bipartite-Ramsey graphs (arXiv pre-print).

Cite arXiv