Nicholas H

nickh007

5 33

AI & ML interests

None yet

Recent Activity

updated a Space 1 day ago

nickh007/soundnessbench-leaderboard

updated a Space 1 day ago

nickh007/specforge-leaderboard

updated a Space 1 day ago

nickh007/protocol-bench-demo

View all activity

Organizations

spaces 12

soundnessbench

🧮

Score a soundness tool in your own browser

specforge leaderboard

🔬

Score a solver with every counterexample replayed

Protocol-Bench & minicheck

🔍

Run a model checker in your browser

Negative Results Atlas

📉

Explore retracted and downgraded research claims

Tenant Leak Demo

🔓

Calculate LLM KV cache footprint for tenant isolation tests

hw-verify

🔒

Inspect timing dependencies and explicit analysis limits

View 12 Spaces

models 0

None public yet

datasets 15

Nicholas H

AI & ML interests

Recent Activity

Organizations

spaces 12 Sort: Recently updated

soundnessbench

specforge leaderboard

Protocol-Bench & minicheck

Negative Results Atlas

Tenant Leak Demo

hw-verify

models 0

datasets 15 Sort: Recently updated

spaces 12

datasets 15