Search papers, labs, and topics across Lattice.
3
0
5
FinSAgent achieves a breakthrough in financial question answering by aligning retrieval strategies with the intricate structure of SEC filings, leading to superior evidence validity and answer accuracy.
Achieving high-fidelity language generation with 32x fewer function evaluations could revolutionize real-time applications of language models.
Verified workflows in Lean4Agent outperform unverified ones by nearly 12%, showcasing the power of formal methods in enhancing LLM agent reliability.
