Search papers, labs, and topics across Lattice.
Charles University
2
0
5
Coding agents can outperform raw data models in time series analysis, but still miss 22-34% of questions, revealing critical reasoning gaps.
Small LLMs paired with symbolic solvers can outperform larger zero-shot LLMs on formal reasoning tasks, but still struggle with multilingual inputs.
