Do Composed Image Retrieval Benchmarks Require Multimodal Composition? Paper • 2605.14787 • Published May 15
Logit-Contribution Scoring Identifies Non-Literal Retrieval Heads Paper • 2607.01002 • Published 24 days ago • 19
Logit-Contribution Scoring Identifies Non-Literal Retrieval Heads Paper • 2607.01002 • Published 24 days ago • 19
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Paper • 2606.12594 • Published Jun 10 • 17
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks Paper • 2605.31433 • Published May 29 • 28
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks Paper • 2605.31433 • Published May 29 • 28