George Tsoukalas

Identifiers

• name variant George Tsoukalas 0.60 · backfill

Papers (2)

1. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #1
2. An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent math.OC · 2026 · author #3

Mentions

• 2605.22763 #1 · arxiv_oai · confidence 0.70 George Tsoukalas

Frequent Coauthors

• Anja Surina 2 shared papers
• Anton Kovsharov 2 shared papers
• Arun Suggala 2 shared papers
• Francisco J. R. Ruiz 2 shared papers
• Pushmeet Kohli 2 shared papers
• Sergey Shirobokov 2 shared papers
• Swarat Chaudhuri 2 shared papers
• Adam Zsolt Wagner 1 shared papers
• Aja Huang 1 shared papers
• Andrew Ferrauiolo 1 shared papers
• Codrut Grosu 1 shared papers
• Eric Wieser 1 shared papers
• Gergely B\'erczi 1 shared papers
• Henryk Michalewski 1 shared papers
• Lei Yu 1 shared papers
• Matej Balog 1 shared papers
• Mikl\'os Z. Horv\'ath 1 shared papers
• Moritz Firsching 1 shared papers
• Thomas Hubert 1 shared papers