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