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