TorchLean Trainer Verification Helpers

Public verifier request builders and trained-result convenience methods.

def TorchLean.Trainer.Implementation.Regression.TrainResult.printVerification {σ τ : Shape} (result : TrainResult σ τ) (request : LInfIBPRequest σ) : IO Unit

Run verify and print the resulting certified output interval.

def TorchLean.Trainer.Implementation.Regression.TrainResult.verifyRobustLInf {σ τ : Shape} (result : TrainResult σ τ) (center : Tensor.T Float σ) (eps : Float) : IO VerificationReport

Verify the trained model on a uniform ℓ∞ input ball.

The method lives on TrainResult, not on the untrained trainer, because the verifier needs the actual trained parameter values.

def TorchLean.Trainer.Implementation.Regression.TrainResult.printRobustLInf {σ τ : Shape} (result : TrainResult σ τ) (center : Tensor.T Float σ) (eps : Float) : IO Unit

Verify a uniform ℓ∞ input ball and print the resulting certified output interval.

def TorchLean.Trainer.Verify.lInfIBP {σ : Shape} (center : Tensor.T Float σ) (eps : Float) : Implementation.Regression.LInfIBPRequest σ

Build a uniform ℓ∞ IBP request for trained-model verification.