Nicholas H

nickh007

5 35

AI & ML interests

None yet

Recent Activity

liked a model about 12 hours ago

inclusionAI/Ling-3.1-flash

liked a model 2 days ago

deepseek-ai/DeepSeek-V4.1-Flash-1017

updated a Space 9 days ago

nickh007/soundnessbench-leaderboard

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