eamag/repro-formalrx-rectify-and-examine-semantic-failures-in-autoformalization-traces download history
eamag/repro-formalrx-rectify-and-examine-semantic-failures-in-autoformalization-traces is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 49 times (17 in the last 7 days), and 148 times in total. It ranks #188,270 among datasets by monthly downloads.
Agent traces Agent sessions published from a Trackio Logbook.
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.