Ax-Schanuel Type Theorems on Functional Transcendence via Nevanlinna Theory Huang, J. & Ng, T.W. [PDF]