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.
顯示更多
