Search papers, labs, and topics across Lattice.
Toyota Motor North America Research & Development, Ann Arbor, MI, USA
1
0
3
A surprisingly small 3B parameter model can match GPT-4.1's spatio-temporal reasoning abilities when trained with automatically generated, formally verifiable spatio-temporal supervision.
