Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Friedrich-Alexander-Universität Erlangen-Nürnberg, Koç University, KUIS AI Lab
2
0
4
Achieving up to 6.3× speedup in formal proof search, TreeThink revolutionizes how LLMs can integrate with formal verifiers for enhanced mathematical reasoning.
Non-English NLP papers face a surprisingly high bias tax in peer review, often stemming from reviewers demanding unjustified cross-lingual generalization.