Running Reproduction: FormalRx: Rectify and eXamine Semantic Failures in Autoformalization 🎯 Explore logs, traces, and workspace in a collaborative logbook