Coding work
Code generation, repair, and software-engineering tasks
Not enough matched evidence
Kimi K2.5 (Reasoning) and Span NLI (BERT large ) binary subset (ContractNLI) are not ranked on the public lane for coding, so no winner is named for coding.