High dimensional Gross--Zagier formula: a survey | Synapse