Search papers, labs, and topics across Lattice.
University of California
1
0
BASE slashes formalization costs by 5x while boosting accuracy, revolutionizing how LLMs tackle math reasoning tasks.
