Reading up on TorchLean

1 deep · digging since sep 22

Lean Verified Transformers — Lean Verified Transformers
This post shows how to use Lean to write AI-generated proofs verifying equivariance and invariance properties of Transformer neural networks.