GitHub repository: mafdmi/mllam-verification
Description: Verification of neural-lam, e.g. performance of the model relative to the truth, persistence, etc.