inclusionAI/Ling-3.1-flash
Text Generation • 572B • Updated • 4.04k • • 149
Nicholas H
nickh007
webbrain-one-39482's profile picture
tstoeger's profile picture
6b4b86ec-928a-4b7e-9c1e-8d5f009e3272's profile picture·
AI & ML interests
None yet
Recent Activity
liked a model 6 days ago
inclusionAI/Ling-3.1-flash liked a model 7 days ago
deepseek-ai/DeepSeek-V4.1-Flash-1017 updated a Space 14 days ago
nickh007/soundnessbench-leaderboardOrganizations
liked a
model 6 days ago
liked a
model 7 days ago
updated 12
Spaces 14 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 23 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 19 days ago
updated a
dataset 19 days ago
updated a
dataset about 2 months ago