Kevin Der
Identifiers
- name variant Kevin Der 0.50 · backfill
Papers (1)
- Aristotle: IMO-level Automated Theorem Proving cs.AI · 2025 · author #4
Mentions
No mention provenance yet.
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
- Kirsten Henningsgard 1 shared papers
- Laura Scharff 1 shared papers
- Lawrence Wu 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
- Tudor Achim 1 shared papers
- Vikram Shanker 1 shared papers
- Vladmir Sicca 1 shared papers