Preprint
Aug 2026
Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmark
The results support determinacy as a formal concept but not as a standalone empirical quality metric for the evaluated contemporary LLM implementers.
Oleg Grynets, Dmytro V. Kostetskyi, V. Lyashkevych
· 1 citation