Reproduce “Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.