1 stories
leandojo.org visit →
Stories 1 (0 evaluated) Avg HRCB ND
Avg SETL ND Avg Conf ND
Avg PSQ +0.3 experimental
Poster Karma 19,021 avg Submitters 1
1.
HRCB +0.08
E 0.00
S +0.16
TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
104 points by matt_d 9 days ago | 20 comments | hrcb AI Ethics