Galedra
Sign in Sign up

Claims

As of snapshot 27745 under ledger-default@0.3.0.

ClaimTypeAssessmentScoreReview checksReferences
In a corpus of 100 computational-biology papers, Paper2Agent successfully agentified 74 papers and produced 599 proposed tools, of which 593 passed automated validation. QUANTITATIVE Leans supported 0.6128 1 of 4 131