Mantas Baksys

According to our database, Mantas Baksys authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Mathematics Statement Curriculum Learning.

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever

Proceedings of the Eleventh International Conference on Learning Representations, 2023

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

The Balog-Szemerédi-Gowers Theorem.

Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds

Arch. Formal Proofs, 2022

Kneser's Theorem and the Cauchy-Davenport Theorem.

Mantas Baksys, Angeliki Koutsoukou-Argyraki

Arch. Formal Proofs, 2022