Mantas Baksys

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Cooperative Learning

Intuitionistic Logic

Cut Elimination

Top Venues

Arch. Formal Proofs

Publications

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. ICLR (2023)
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL. CPP (2023)
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
The Balog-Szemerédi-Gowers Theorem. Arch. Formal Proofs 2022 (2022)
Mantas Baksys, Angeliki Koutsoukou-Argyraki
Kneser's Theorem and the Cauchy-Davenport Theorem. Arch. Formal Proofs 2022 (2022)
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
Formal Mathematics Statement Curriculum Learning. CoRR (2022)