I'm a grad student in mathematics/theoretical computer science at Princeton.
Member for 5 years, 9 months
0 profile views
Last seen Aug 16 '17 at 6:14
Top network posts
- 38 Tensorflow variable scope: reuse if variable exists
- 15 Motivation for Weil pairing
- 15 Program reasoning about own source code
- 12 Pseudorandom generator for finite automata
- 9 Does the infinite graph of diagonals have an infinite component?
- 7 Concrete and elementary applications of modular forms to elliptic curves
- 7 Rewriting a match in Coq
- View more network posts →