I explain a joint work in progress with Damien Calaque aimed at globalizing a local formality result by Calaque-Felder-Ferrario-Rossi, by means of which certain isomorphisms between Ext-algebras of embeddings of varieties can be derived from quasi-isomorphism of $A_\infty$-deformations.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/3444
[3] https://www.mpim-bonn.mpg.de/TopologySeminar