Nicholas H

nickh007

2 28

AI & ML interests

None yet

Recent Activity

liked a model about 22 hours ago

deepseek-ai/DeepSeek-V4-Flash-0731

updated a dataset 4 days ago

nickh007/protocol-bench

updated a Space 6 days ago

nickh007/negative-results-atlas

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