Developing Bug-Free Machine Learning Systems with Formal Mathematicsarxiv.org111 points·by pkay·vor 9 Jahren·9 comments
pkay·vor 9 Jahren·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?