Search papers, labs, and topics across Lattice.
Charles University
1
0
3
Small LLMs paired with symbolic solvers can outperform larger zero-shot LLMs on formal reasoning tasks, but still struggle with multilingual inputs.
