Cedric Flamant

According to our database, Cedric Flamant authored at least 3 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization.

Anmol Agarwal, Natalie Neamtu, Pranjal Aggarwal, Seungone Kim, Jannis Limperg, Cedric Flamant, Kanna Shimizu, Bryan Parno, Sean Welleck

CoRR, May, 2026

The Bicameral Model: Bidirectional Hidden-State Coupling Between Parallel Language Models.

Cedric Flamant, Udaya Ghai, Kanna Shimizu

CoRR, May, 2026

2020

Solving Differential Equations Using Neural Network Solution Bundles.

Cedric Flamant, Pavlos Protopapas, David Sondak

CoRR, 2020