Satyawan Singh
ML ENGINEER · FOUNDER · LEICESTER, UK
I build systems that prove things. Currently: Velkron, the verification layer for AI in regulated industries. Before and around that: a formally tested blockchain, a clinical speech model trained from scratch, and a set of open-source libraries that all circle one conviction — machine output should be provable, not trusted.
Everything below is real, dated, and checkable. That is the point of this page.
PROJECTS
The verification layer for AI in regulated industries. Deterministic compliance checks, tamper-evident receipts, proof of inference.
Rust tool that proves a function can't panic, built on Kani. Four honest verdicts; INCONCLUSIVE is never a false pass.
Four zero-dependency Python libraries, one idea: check the output, don't trust it. Conformal abstention, grounding, verifier-gated search, agent consensus.
Trust-scoring for clinical AI: when should a medical model's output be believed, and when should it abstain?
NHS GP scribe with a 119M-parameter Conformer ASR model trained from scratch for UK clinical audio.
RegTech retrieval for FCA-regulated firms, with provenance-gated citations and a refusal-first answer gate.
A 140-crate Rust L1 blockchain with 25,000+ passing tests and novel consensus-verification primitives. Great training, wrong company. The verification instinct survived it.
WRITING
SHIP LOG
- 2026-07-23Launched velkron.xyz and console.velkron.xyz. Applied to Hub71.
- 2026-07-21Launched cargo-vouch on crates.io.
- 2026-07-13Published the open-source verification quartet.
VERIFY
- GitHubgithub.com/ss1738
- crates.iocargo-vouch
- Hugging FaceSatyawan1
- Emailsatyawansingh82@hotmail.com