Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models Paper • 2602.12586 • Published Feb 13 • 2
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks Paper • 2605.31433 • Published May 29 • 28
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Paper • 2606.12594 • Published Jun 10 • 17
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Paper • 2606.12594 • Published Jun 10 • 17
Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models Paper • 2602.12586 • Published Feb 13 • 2
Verifying Chain-of-Thought Reasoning via Its Computational Graph Paper • 2510.09312 • Published Oct 10, 2025 • 2
To Adapt or to Fine-tune: A Case Study on Abstractive Summarization Paper • 2208.14559 • Published Aug 30, 2022
A Unified Model for Reverse Dictionary and Definition Modelling Paper • 2205.04602 • Published May 9, 2022