Claims

Search Type State Status Topic Model Order Counting Over

As of snapshot 27745 under ledger-default@0.3.0.

Claim	Type	Assessment	Score	Review checks	References
On 300 tutorial-derived benchmark questions, Paper2Agent with Sonnet 4 achieved 91.2 ± 1.6% accuracy, compared with 80.3 ± 2.3% for direct-repository Claude Code using Sonnet 4.	QUANTITATIVE	Leans supported	0.6128	1 of 4	142
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