| | Rethinking Thinking Tokens: LLMs as Improvement Operators | | 1 | 2 |
| | Fine-Grained Detection of Context-Grounded Hallucinations Using LLMs | | 1 | 2 |
| | Aristotle: IMO-level Automated Theorem Proving | | 8 | 2 |
| | Sparse Query Attention (SQA): A Computationally Efficient Attention Mechanism with Query Heads Reduction | | 3 | 2 |