Tudor Achim

Identifiers

• name variant Tudor Achim 0.60 · backfill

Papers (2)

1. Aristotle: IMO-level Automated Theorem Proving cs.AI · 2025 · author #1
2. Tight Variational Bounds via Random Projections and I-Projections cs.LG · 2015 · author #2

Mentions

• 1510.01308 #2 · backfill · confidence 0.70 Tudor Achim

Frequent Coauthors

• Aidan Swope 1 shared papers
• Alberto Bietti 1 shared papers
• Alexander Meiburg 1 shared papers
• Alex Best 1 shared papers
• Daniel Halpern-Leistner 1 shared papers
• Eric Rodriguez 1 shared papers
• Hari Sowrirajan 1 shared papers
• Harold Williams 1 shared papers
• Jonathan Thomm 1 shared papers
• Kevin Der 1 shared papers
• Kirsten Henningsgard 1 shared papers
• Laura Scharff 1 shared papers
• Lawrence Wu 1 shared papers
• Lun-Kai Hsu 1 shared papers
• Martin Michelsen 1 shared papers
• Math\"is F\'ed\'erico 1 shared papers
• Matyas Tamas 1 shared papers
• Riley Patterson 1 shared papers
• Sergei Gukov 1 shared papers
• Stefano Ermon 1 shared papers