inclusionAI/Ling-3.1-flash
Text Generation • 572B • Updated • 5.41k • • 153
Nicholas H
nickh007
AI & ML interests
None yet
Recent Activity
liked a model 10 days ago
inclusionAI/Ling-3.1-flash liked a model 11 days ago
deepseek-ai/DeepSeek-V4.1-Flash-1017 updated a Space 19 days ago
nickh007/soundnessbench-leaderboardOrganizations
liked a
model 10 days ago
liked a
model 11 days ago
updated 12
Spaces 19 days ago
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
certkit — check the proof, not the promise
🔏
Verify safety proofs in-browser. Watch a forgery be refused.
physics-lint
⚡
Is your S-parameter model physically possible?
PQC Migration Explorer
🛡
Is your PQC reassembly cap safe? One click.
Wait-For Visualiser
🔗
Generate a visual check for deadlock cycles in wait‑for graphs
hw-verify constant-time checker
🔒
1
Constant-time Verilog checker, in your browser
LCERT Certificate Verifier
🔏
Verify a certificate in your browser. Nothing is uploaded.
Idea for a future Qwen 27B: nine 1M-token agents on one RTX 5090
1
#206 opened 27 days ago
by 
BigBlueWhale
BabyVision Reproduction Gap on Qwen3.8-27B: 46% vs. 65.7% 🤔
👀 7
1
#184 opened about 2 months ago
by 
SongTang
published a
dataset 23 days ago
updated a
dataset 23 days ago
updated a
dataset about 2 months ago