Search papers, labs, and topics across Lattice.
2
0
2
Horizon-free regret can be achieved with a new algorithm that dramatically outperforms previous methods by eliminating logarithmic horizon dependence.
LLMs can seamlessly generate formal proofs with a new system that mimics natural mathematical language, bridging the gap between human intuition and formal verification.
