eamag/repro-formalrx-rectify-and-examine-semantic-failures-in-autoformalization-traces
Traces • Updated • 225 • 48
Dmitrii Magas
eamag
AI & ML interests
AI4Science
Recent Activity
liked a dataset 1 day ago
patrickqdasilva/process-revision-sci-write updated a Space 5 days ago
eamag/repro-training-ai-co-scientists-using-rubric-rewards published a Space 5 days ago
eamag/repro-training-ai-co-scientists-using-rubric-rewardsOrganizations
