Search papers, labs, and topics across Lattice.
2
0
3
4
Current AI coding agents struggle with large-scale refactoring tasks, achieving only a 41.2% success rate on a newly curated benchmark designed to challenge their capabilities.
Dockerless achieves a 14.3 AUC point improvement in program verification without the overhead of Docker environments, revolutionizing efficiency in training coding agents.
