Portrait of Matt Suiche

Matt Suiche

AI Security

2026

Model Internals, part 1: Proving LLM inference on Rust, CUDA, and Lean
Provable Inference Lean CUDA PTX Rust ICICLE zkSNARK Multilinear Proofs Goldilocks LLM