1 paper
Oleg Grynets, Dmytro Kostetskyi, Vasyl Lyashkevych
This work introduces a formal semantic-block model for specifications and an execution-judged benchmark for evaluating specification quality independently of model capability. A sp…