Developing Bug-Free Machine Learning Systems with Formal Mathematicsarxiv.org111 points·by pkay·9 ปีที่แล้ว·9 comments
pkay·9 ปีที่แล้ว·discuss> Note: building Certigrad currently takes ~15 minutes and consumes ~7 GB of memory.Why does it take so long and use so much memory?
Why does it take so long and use so much memory?