Search papers, labs, and topics across Lattice.
Affiliation:
3
0
5
7
SPEAR bridges the reasoning gap in reinforcement learning by transforming complex natural-language reasoning into efficient symbolic milestones, enabling dense and logical reward signals without costly neural verifiers.
HyperFL achieves up to 16.7% better fault localization accuracy by adapting to the unique characteristics of diverse issue reports in real-time.
ConFL achieves a remarkable MRR of 0.503, showcasing a leap in fault localization accuracy for concurrent bugs that traditional methods struggle with.
