pkay

Joined 9 years ago

Karma

59

Submissions

3

Member since

Jun 28

View on Hacker News

Recent submissions

NeuroSAT: Learning a SAT Solver De Novo from Data github.com

2 pkay 8 years ago 0 comments

Comment · 9 years ago

> Note: building Certigrad currently takes ~15 minutes and consumes ~7 GB of memory.

Why does it take so long and use so much memory?

Developing Bug-Free Machine Learning Systems with Formal Mathematics arxiv.org

111 pkay 9 years ago 9 comments