work RadicalPy An intuitive open-source framework specific to radical pair spin dynamics. Tadashi Enabling AI-Based Automated Code Generation With Guaranteed Correctness Data locality for sparse matrices via advanced optimisations in large-scale scientific programs Enabling AI-Based Automated Code Generation With Guaranteed Correctness fun