Skip to main content
Computer Science
Physical Mathematics's user avatar
Physical Mathematics's user avatar
Physical Mathematics's user avatar
Physical Mathematics
  • Member for 4 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
183
reputation
2k
reached
0
answers
1
question
Communities
View all
About

Math PhD Student at NYU's Courant Institute.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
8
A general picture of formal verification in software
Jun 21, 2020
Top network posts
View all network posts
10
Strong deformation retract of a singleton implies locally path connected at that point?
9
Did John Tesh win 6 Emmys and an AP award for investigative journalism?
8
Is the $\sigma$-algebra generated by weak topology of (non-separable) Banach space equal Borel $\sigma$-algebra?
7
Why does Archive of Formal Proofs use Isabelle/HOL as opposed to Isabelle/ZF?
7
Why are neural networks preferred to other classification functions optimized by gradient decent