Search papers, labs, and topics across Lattice.
3
0
7
FormalRx transforms opaque autoformalization evaluations into clear, actionable insights, enabling targeted improvements in formal reasoning systems.
LightSTAR slashes retrieval latency while maintaining top-tier accuracy by cleverly bypassing heavy MLLM processing on every document page.
LLMs, like humans, exhibit a "frequency bias," performing better when prompted and fine-tuned with more common textual expressions.
