Lean proofs and executable models of tensor-core arithmetic, non-monotonicity, and TC-EFT, with bit-level and FloatLib implementations.
Lean Updated 12 days ago 1 commits
synth-dev|Mirror: pauljiang03/TC-EFT (⭐0)
12 days agoAbout
Lean proofs and executable models of tensor-core arithmetic, non-monotonicity, and TC-EFT, with bit-level and FloatLib implementations.
Readme