Shuvendu Lahiri

AI is transforming the way we write and prove code correctness.

2025-08-14T15:18:24+00:00 ― 6 min read

This article discusses a new method for generating correctness proofs in Rust.

2025-06-09T13:46:36+00:00 ― 5 min read