Hugging Face's logo

Spaces:
SabaPivot
/
repro-approximation-theory-for-lipschitz-continuous-transformers
Running

App Files Community
repro-approximation-theory-for-lipschitz-continuous-transformers / LipschitzTransformerFormal.lean
SabaPivot's picture
SabaPivot
Add Lean verification for OVB Claims 4 and 5
cfe4625 verified
Raw
History Blame Contribute Delete
129 Bytes
import LipschitzTransformerFormal.RestrictedStoneWeierstrass
import LipschitzTransformerFormal.TransformerUniversalApproximation