Nicholas H

nickh007

2 27

AI & ML interests

None yet

Recent Activity

updated a Space about 11 hours ago

nickh007/negative-results-atlas

updated a Space about 11 hours ago

nickh007/tenant-leak-demo

updated a Space about 11 hours ago

nickh007/wait-for-visualiser

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

Nicholas H

AI & ML interests

Recent Activity

Organizations

spaces 12 Sort: Recently updated

Negative Results Atlas

Tenant Leak Demo

specforge leaderboard

Protocol-Bench & minicheck

Wait-For Visualiser

physics-lint

models 0

datasets 15 Sort: Recently updated

spaces 12

datasets 15