4Massively Parallel Proof-Number Search for Impartial Games and Beyond (opens in new tab)(arxiv.org)1ahsillyme4mo ago0
5Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (opens in new tab)(arxiv.org)3ahsillyme4mo ago0
7Generic functional parallel algorithms: scan and FFT (2017) (opens in new tab)(dl.acm.org)1ahsillyme6mo ago0
11Flip Graphs with Symmetry and New Matrix Multiplication Schemes (opens in new tab)(arxiv.org)3ahsillyme1y ago0
12Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (opens in new tab)(arxiv.org)1ahsillyme1y ago0
13Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (opens in new tab)(arxiv.org)3ahsillyme1y ago0
