Search papers, labs, and topics across Lattice.
2
0
5
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.
LLM self-explanations are more sensitive to semantic framing than actual task performance, suggesting they reflect semantic expectations rather than true internal states.
