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.
もっと見る
