Preprint
Aug 2026
Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers
A verifier-guided neural-to-symbolic methodology for interpretable and physically auditable forecasting in the natural sciences is established, establishing a verifier-guided neural-to-symbolic methodology for interpretable and physically auditable forecasting in the natural sciences.
F. Faraji, Francesco Belardinelli
· 0 citations