Search papers, labs, and topics across Lattice.
1
0
3
Standardized agent-to-agent interfaces can enable reproducible and auditable benchmarks for logical reasoning, revealing that auto-formalization agents can outperform chain-of-thought reasoning on FOLIO.