vix.ing · top · new · best · stats · spec

Lucky Verma

  1. Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning
    2026/07/19 by Lucky Verma
    #cs.LG #cs.AI #cs.LO