Search papers, labs, and topics across Lattice.
Affiliation:
3
0
4
6
AI agents can only correctly synthesize implementations and proofs for less than two-thirds of tested multi-module software repositories, revealing significant gaps in current capabilities.
Simulating 8.3 billion diverse personas reveals nuanced user interactions that traditional evaluations miss, transforming how we assess AI systems.
Generative compilation enables AI models to receive compiler feedback during code generation, drastically reducing errors and improving code quality in real-time.
