← Back to PeopleJLResearcherJannis LimpergResearcher at Axiom MathWebsiteJannis Limperg is a researcher working on neurosymbolic AI.1Mentions1Articles1OutletsCompanies CoveredAmazon1CMU1Codeforces1ArticlesMost recent firstMentioned InReferenced in coverageVerus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationSubstackcautiousMay 31, 2026“Jannis Limperg co-authored the Verus-SpecGym paper while working at Amazon, focusing on evaluating AI specification generation.”