callensxavier/claims-vs-evidence-runux-audit download history

callensxavier/claims-vs-evidence-runux-audit is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 31 times (25 in the last 7 days), and 31 times in total. It ranks #266,938 among datasets by monthly downloads.

Claims vs. Evidence — RunuX audit & LLM proof-completion pilot Supporting data for the preprint Claims vs. Evidence: A Measured Audit of an AI-Assisted Rust Kernel and an Oracle-Gated Workflow for LLM Proof Completion (Xavier Callens, 2026). The paper PDF and LaTeX source are included

Open callensxavier/claims-vs-evidence-runux-audit on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.