1Step in Tine: Forking Processes in Functional Choreographies (opens in new tab)(arxiv.org)1ahsillyme8h ago0
2Neuro-Symbolic Ode Discovery with Latent Grammar Flow (opens in new tab)(arxiv.org)1ahsillyme1mo ago0
6Massively Parallel Proof-Number Search for Impartial Games and Beyond (opens in new tab)(arxiv.org)1ahsillyme6mo ago0
7Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (opens in new tab)(arxiv.org)3ahsillyme6mo ago0
9Generic functional parallel algorithms: scan and FFT (2017) (opens in new tab)(dl.acm.org)1ahsillyme8mo ago0
13Flip Graphs with Symmetry and New Matrix Multiplication Schemes (opens in new tab)(arxiv.org)3ahsillyme1y ago0
14Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (opens in new tab)(arxiv.org)1ahsillyme1y ago0
15Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (opens in new tab)(arxiv.org)3ahsillyme1y ago0
