Galedra

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	135