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