About the Author

Dmitrii Vasilev

Dmitrii Vasilev

φ-Numerics · FPGA · Formal Verification

GitHub @gHashTag · t27.ai · Zenodo

Bio

Dmitrii Vasilev is the principal investigator of the Trinity S³AI Research Group, working on φ-numerics for neural network training, ternary FPGA hardware, and formal verification of training invariants. Current work centres the identity

\[ \varphi^2 + \varphi^{-2} = 3 \]

as the algebraic anchor of GoldenFloat (GF4..GF64) quantization and the IGLA RACE runtime invariants (INV-1..INV-9), each backed by Coq theorems in the t27 canonical home.

Selected work — 13 Zenodo records

Acknowledgments

This monograph was prepared with AI-assisted code generation; human first-author and review. Apache 2.0 license. AI-as-author is forbidden.

phi^2 + phi^-2 = 3 · TRINITY · NEVER STOP 🌻