Search papers, labs, and topics across Lattice.
5
0
8
REAR transforms how we achieve user preference alignment in LLMs, enabling scalable realignment without costly retraining.
Diffusion-Proof not only surpasses AR LLMs in theorem proving but also solves challenging problems that state-of-the-art models fail to address.
The choice of tree traversal method can significantly alter the performance of Transformer Grammars, revealing trade-offs that could redefine how we approach syntactic modeling in NLP.
Verified workflows in Lean4Agent outperform unverified ones by nearly 12%, showcasing the power of formal methods in enhancing LLM agent reliability.
Discrete diffusion policies, typically used for image generation, turn out to be surprisingly effective and efficient asynchronous executors for robots acting in dynamic environments, outperforming traditional continuous control methods.
