Search papers, labs, and topics across Lattice.
2
0
5
3
LRMs can often correct themselves even after making mistakes in their reasoning, hinting at a powerful, untapped "hidden critique ability" that can be unlocked with targeted interventions in the latent space.
LLMs can generate more accurate and complete postconditions by engaging in iterative refinement guided by correctness feedback, rather than relying on single-pass prompting.