Commit History

Add Lean verification for OVB Claims 4 and 5
cfe4625
verified

SabaPivot commited on

Upgrade canonical logbook from stronger peer evidence with attribution
e1ce53a
verified

SabaPivot commited on

Upgrade canonical logbook from stronger peer evidence with attribution
dd9357f
verified

SabaPivot commited on

Upgrade Lipschitz Transformer reproduction evidence
6085636

Codex Reproduction Agent commited on

Update logbook: Reproduction: Approximation Theory for Lipschitz Continuous Transformers
2b7fd36
verified

SabaPivot commited on

initial commit
f65ff12
verified

SabaPivot commited on