5/10 sections recovered · name · match catalog description · match catalog cover · match catalog tags · match catalog links · match catalog
Compiling the law by converting the entire corpus into first order logic.
Law
huggingface.co/justicedao/datasets ↗
I am making a 3d animated chatbot, and PDF generator, that can help you with legal problems
Its going to save alot of people money on lawyers, and make alot of lawyers go broke.
I have scraped all of the american legal corpus on huggingface https://huggingface.co/justicedao/datasets I have created a fully featured decentralized theorum prover, knowledge graph, and AI / MLops infrastructure, and PDF generation logic as wel.
Because I'm always the smartest person in the room, except when I work at Intel Corporation, or attend Neurips, and I know everything there is to know about machine learning, cloud infrastructure, and computer architecture with 25 years of experience
No displayed figures preserved for this project.
Season totals as displayed on the platform's public accounting — not a statement of amounts paid out. V2 = Venus sales + Venus extras. The original page also broke each season down by fund drive and showed an Available (unclaimed) balance; that level of detail survives only on the preserved snapshots.
Leaderboard page (offline): https://artizen.fyi/projects/neurosymbolic-computational-law-project
Wayback: leaderboard page ↗ · Wayback: platform page ↗
Not recovered: creator, funding, drives, submissions, snapshot. Sources: "snapshot" = verbatim Internet Archive page · "platform metadata" = archived artizen.fund page metadata · "leaderboard" = the artizen.fyi public accounting tables · "match catalog" = the platform's public fund-matching catalog (captured 2026-10-15, generated 2026-09-07) · "community catalog" = a June 2026 platform scrape preserved in a community repo.