Search papers, labs, and topics across Lattice.
1
0
3
Human-AI collaboration using LLMs and symbolic solvers just cracked a notoriously hard problem in combinatorial design theory, finding a tight lower bound on Latin square imbalance.
