Get started
Author

Kevin Der

Observed name: Der, Kevin
Observed institution: Harmonic (United States)
OpenAlex ID: A5119843546
Aristotle: IMO-level Automated Theorem Proving
2026 · Tudor Achim, Alex Best, et al. · SuperIntelligence - Robotics - Safety & Alignment · 2
Turn-Averaged SAEs for Feature Discovery and Long-Context Attribution
2026 · Der, Kevin, Kamath, Harish, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type