Nicholas H

nickh007

2 27

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

nickh007/protocol-bench

updated a Space 3 days ago

nickh007/negative-results-atlas

updated a Space 3 days ago

nickh007/tenant-leak-demo

View all activity

Organizations

spaces 12

Negative Results Atlas

📉

Explore retracted claims with searchable filters

Tenant Leak Demo

🔓

Calculate if a tenant‑isolation probe is interpretable

specforge leaderboard

🔬

Score a solver with every counterexample replayed

Protocol-Bench & minicheck

🔍

Run a model checker in your browser

Wait-For Visualiser

🔗

Detect deadlocks by checking wait‑for graphs

physics-lint

⚡

Is your S-parameter model physically possible?

View 12 Spaces

models 0

None public yet

datasets 15