Shubham Agarwal
@shagarw21
๊ฐ์
February 2019
734 ํ๋ก์ ์ค 256 ํฌ
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.
๋ ๋ณด๊ธฐ
