George Tsoukalas
Identifiers
- name variant George Tsoukalas 0.60 · backfill
Papers (2)
- Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #1
- 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