Search papers, labs, and topics across Lattice.
5
0
6
4
AssertMate outperforms existing LLM-based assertion generation methods, achieving higher accuracy and bug detection through a novel multi-agent approach.
Achieving 98% accuracy in estimating ground reaction forces for Parkinson's gait using just two wearable IMUs could revolutionize remote patient monitoring.
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.
