Search papers, labs, and topics across Lattice.
1
0
A single model leveraging homotopy type theory can outperform diversity-trained ensembles in reasoning tasks, revealing the power of symmetry-aware inference.
