eamag/repro-formalrx-rectify-and-examine-semantic-failures-in-autoformalization-traces

Agent traces Agent sessions published from a Trackio Logbook.