TY  - RPRT
TI  - Extracting Exact Lie Derivatives Without Backpropagation: A Dual Compiler for Neural Control Barrier Functions
AU  - Mohammadreza Kamaldar
PY  - 2026
UR  - https://arxiv.org/abs/2604.23995
ID  - 2604.23995
ER  -