Tobias Grosser

Un nouveau cadre garantit que les optimisations du compilateur préservent la justesse des programmes.

DASTAC améliore les calculs tensoriels en combinant des techniques denses et creuses pour plus d'efficacité.