Vero is a declarative language for specifying neural network architectures with compile-time coherence guarantees. Unlike existing configuration formats such as JSON or YAML, a Vero program cannot be compiled if it violates structural coherence. Every declaration carries four base properties — truth, harmony, time, and place — verified statically before lowering to an intermediate representation. Dissonant declarations produce compile errors, not warnings. This paper describes the language design, type system, coherence rules, and the current Vero Lite compiler implementation in Rust.
T. Billy Ekkerd (Fri,) studied this question.