Search papers, labs, and topics across Lattice.
Independent researcher
2
0
4
Verified workflows in Lean4Agent outperform unverified ones by nearly 12%, showcasing the power of formal methods in enhancing LLM agent reliability.
LLMs can't reliably generate the very skills that boost their performance, and smaller models equipped with expert-crafted skills can rival larger, skill-less models.
