Rheinische Hochschule Köln

Computed Retrieval, Decided Verdicts: A Parameter-Free Retrieval-to-Verification Chain over a Decidable Program Fragment

Technical report of the LNFdex(TM) engine: a retrieval-to-verification chain in which retrieval is computed (hash-derived 256-bit binary hypervectors, Hamming ranking, no learned parameters, no floats) and the verdict is decided (exhaustive verification over a 54-point decidable...

Computed Retrieval, Decided Verdicts: A Parameter-Free Retrieval-to-Verification Chain over a Decidable Program Fragment

Technical report of the LNFdex(TM) engine: a retrieval-to-verification chain in which retrieval is computed (hash-derived 256-bit binary hypervectors, Hamming ranking, no learned parameters, no floats) and the verdict is decided (exhaustive verification over a 54-point decidable...