Probably holds up, but it is not settled.

“Paper2Agent validates each generated tool against reference-code results and figures using example datasets, then locks validated tools to support reproducibility.”

3 of 4 review checks done · 1 counted · 2 by the author only

Leans supported · 0.6128 under ledger-default@0.3.0 at snapshot 27745 · review checks 1 of 4 · provisional until audited. The number is model-conditional, not a share of truth.