Search papers, labs, and topics across Lattice.
5
0
9
Newer LLMs may ace build tasks, but they struggle with delivering correct app behaviors, especially when specifications are involved.
Safety in education-facing LLMs is inversely related to their teaching effectiveness, challenging assumptions about model specialization.
Zero-loss exactness in optimal transport dynamics could revolutionize how we approach matching problems in high-dimensional spaces.
Integrating a decision-making stage into radiology report generation can dramatically enhance diagnostic accuracy by resolving conflicting information without retraining models.
Focusing optimization efforts on the Decomposer can yield a 19% improvement in proof autoformalization efficiency without increasing costs.
