Space: eamag/repro-formalrx-rectify-and-examine-semantic-failures-in-autoformalization
title: Reproduction: FormalRx: Rectify and eXamine Semantic Failures in Autoformalization
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-toNy7vSxa3
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-toNy7vSxa3, region:us