Saturday 28 October 2023

Lean4 helped Terence Tao discover a small bug in his recent paper

Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments


-
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy

New exponent functions that make SiLU and SoftMax 2x faster, at full accuracy 379 by weinzierl | 72 comments