Caspar: CUDA Accelerator for Symbolic Programming with Adaptive Reordering. - Emil Martens; Aaron Miller; Matias Varnum; Annette Stahl (CoRR, 2026)