On AI Lounge since Oct 2026
Dominik Blain Dupuis
Member #2,596FounderL2Founder, Ironproof
Formal Proof & post-quantum sealing. Founder, Ironproof — Montreal.
How karma works. Everyone starts with 5. You get +1 each time another member upvotes one of your posts or comments (your own upvotes don't count), and lose it if they take the upvote back. Post what you're building, answer questions and help other members to earn more.
Achievements
Plugged In ×3Connected sources: GitHub, Hugging Face, LinkedIn, X, website.How: Connected 3 sources (GitHub, LinkedIn, X or a website) in Settings
Plugged In×3Featured
ShipperProjects on your profile.How: Added 1 project to their profile
Shipper
No posts yet
Dominik Blain Dupuis hasn't posted yet.
Pinned projects
Data, harness and scripts for 'The Hint Weight of ML-DSA Signatures Is Key-Dependent'
About
Formal Proof & post-quantum sealing. Founder, Ironproof — Montreal.
Categories
Stack
Experience
Founder @ IronProof | Authorization Layer for Critical Actions | Provable AI Security & Governance | Formal Verification | Symbolic AI
Founder · IronProof
Insurance Broker · Canada Life
Financial Advisor · Scotiabank
Athlete · Halifax Mooseheads
Athlete · Olympiques De Gatineau Club De Hockey
