ahsillyme

4 ms·

1. 31.▲
   Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph(arxiv.org)

   3 points by ahsillyme 11mo ago|0 comments
2. 32.▲
   Depth-13 Sorting Networks for 28 Channels(arxiv.org)

   4 points by ahsillyme 11mo ago|0 comments
3. 33.▲
   by ahsillyme 1y ago

   Is this something that you would have done? I don't see how russia's survivability would be improved by expanding it's sphere of control, but, on the contrary it would stretch resources thin.
4. 34.▲
   Generic functional parallel algorithms: scan and FFT (2017)(dl.acm.org)

   1 points by ahsillyme 1y ago|0 comments
5. 35.▲
   The Model Counting Competitions 2021-2023(arxiv.org)

   2 points by ahsillyme 1y ago|0 comments
6. 36.▲
   Broughton Suspension Bridge(en.wikipedia.org)

   1 points by ahsillyme 2y ago|0 comments
7. 37.▲
   High-Throughput SAT Sampling(arxiv.org)

   2 points by ahsillyme 2y ago|0 comments
8. 38.▲
   Flip Graphs with Symmetry and New Matrix Multiplication Schemes(arxiv.org)

   3 points by ahsillyme 2y ago|0 comments
9. 39.▲
   Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures(arxiv.org)

   1 points by ahsillyme 2y ago|0 comments
10. 40.▲
    Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning(arxiv.org)

    3 points by ahsillyme 2y ago|0 comments