Search papers, labs, and topics across Lattice.
University of Michigan
2
0
5
0
Finer-grained abstract semantics can finally deliver on its promise of faster program synthesis, thanks to a new offline "presynthesis" phase that avoids costly online pruning.
LLMs can now learn to control traffic signals more effectively by debating the best course of action, leading to significant reductions in travel time and congestion.
