Logit-Contribution Scoring Identifies Non-Literal Retrieval Heads Paper • 2607.01002 • Published 5 days ago • 15
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Paper • 2606.12594 • Published 26 days ago • 17
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks Paper • 2605.31433 • Published May 29 • 28