Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
2
1
GPT-5.4 outshines gpt-oss-120b in generating grammars, but both models falter in managing complex formal constraints, highlighting the need for human oversight.