Search papers, labs, and topics across Lattice.
5
0
6
43
AssertMate outperforms existing LLM-based assertion generation methods, achieving higher accuracy and bug detection through a novel multi-agent approach.
GSE achieves up to 180% improvement in recall for coding agents, revolutionizing how skills are evolved and reused in automated programming tasks.
Fuzz testing can dramatically improve RL agent robustness and safety monitoring, with specific methods outperforming others in crash discovery and diversity.
LLM-based unit tests can achieve reliable compilation and coverage improvements by explicitly managing project context rather than relying solely on prompt engineering.
KernelDiag transforms kernel crash diagnosis by leveraging structured causal reasoning to achieve up to 4x improvements in fault localization accuracy.
