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