A klasszikus Yau–Zaslow formulának van egy számelméleti finomítása, amiben a hagyományos Euler karakterisztika szerepét Levine motivikus Euler karakteresztikájának egy változata játssza. Ennek az utóbbinak a segítségével hasonló formulákat lehet belátni olyan invariánsokra is, mint a Saito-féle kohomológia-determináns, vagy Kharlamov és Rasdeaconu egy formulájának az általánosítása, ami valós racionális görbéket számolnak meg valós K3 felületeken. Közös munka Frank Neumann-nal.