← Back to PeopleCFResearcherCedric FlamantResearcher at AmazonCedric Flamant is a researcher at Amazon1Mentions1Articles1OutletsCompanies CoveredAmazon1CMU1Codeforces1ArticlesMost recent firstMentioned InReferenced in coverageVerus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationSubstackcautiousMay 31, 2026“Cedric Flamant is a co-author on the Verus-SpecGym research paper on specification autoformalization evaluation.”