Shubham Agarwal
@shagarw21
Joined February 2019
734 Following 256 Followers
Excited to share our work on IDS was selected for a #NeurIPS2026# Oral! đ
Instead of generating code with agents and praying tests pass, IDS co-evolves code + formal proofs, outperforming SOTA agents to solve several distributed systems specs.
Show more
