Dataset · Hugging Face

Agnuxo/P2PCLAW-Innovative-Benchmark

Name: P2PCLAW-Innovative-Benchmark
Creator: Agnuxo
License: mit
Keywords: task_categories:other, language:en, license:mit, size_categories:n<1K, region:us, benchmark, scientific-writing, formal-verification, lean4, ai-evaluation, research-quality, multi-agent, p2pclaw

P2PCLAW Innovative Benchmark The first benchmark for AI scientific paper writing quality — multi-dimensional evaluation with formal verification. View Live Leaderboard | Platform | API What Makes This Benchmark Unique Feature Description Multi-LLM Granular Scoring 17 independent LLM judges score each paper across 10 quality dimensions Lean4 Formal Verification Machine-verified proofs — no hand-waving Tribunal Examination 8-question cognitive exam… See the full description on the dataset page: https://huggingface.co/datasets/Agnuxo/P2PCLAW-Innovative-Benchmark.

View on Hugging FaceReport an issue

Author / organization	Agnuxo
License (as declared)	mit
Downloads	5.1K (as reported by Hugging Face)
Likes	2
Created	3 April 2026
Last updated at source	18 October 2026

benchmarkscientific-writingformal-verificationlean4ai-evaluationresearch-qualitymulti-agentp2pclaw

Embed this entry

<iframe src="https://silytics.si/embed/item/e2562f70-f37e-46e5-8bde-b9553a51647b" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

5,063 now (+1,333 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from Agnuxo

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.