1Algorithmic Information Theory Data Compression Challenge (opens in new tab)(arxiv.org)arXiv1ahsillyme9d ago0Save
2Step in Tine: Forking Processes in Functional Choreographies (opens in new tab)(arxiv.org)arXiv1ahsillyme1mo ago0Save
3Neuro-Symbolic Ode Discovery with Latent Grammar Flow (opens in new tab)(arxiv.org)arXiv1ahsillyme2mo ago0Save
4Optimal Software Pipelining Using an SMT-Solver (opens in new tab)(arxiv.org)arXiv2ahsillyme4mo ago0Save
7Massively Parallel Proof-Number Search for Impartial Games and Beyond (opens in new tab)(arxiv.org)arXiv1ahsillyme7mo ago0Save
8Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (opens in new tab)(arxiv.org)arXiv3ahsillyme7mo ago0Save
10Generic functional parallel algorithms: scan and FFT (2017) (opens in new tab)(dl.acm.org)1ahsillyme9mo ago0Save
14Flip Graphs with Symmetry and New Matrix Multiplication Schemes (opens in new tab)(arxiv.org)arXiv3ahsillyme1y ago0Save
15Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (opens in new tab)(arxiv.org)arXiv1ahsillyme1y ago0Save
