ahsillyme's submissions

1.		Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
		1 point by ahsillyme 9 days ago \| past \| discuss
2.		Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
		2 points by ahsillyme 89 days ago \| past
3.		The quadratic knapsack problem (2025) (sciencedirect.com)
		2 points by ahsillyme 5 months ago \| past
4.		Kleene Algebra (arxiv.org)
		3 points by ahsillyme 5 months ago \| past
5.		Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)
		1 point by ahsillyme 5 months ago \| past
6.		Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org)
		3 points by ahsillyme 5 months ago \| past
7.		Depth-13 Sorting Networks for 28 Channels (arxiv.org)
		4 points by ahsillyme 5 months ago \| past
8.		Generic functional parallel algorithms: scan and FFT (2017) (acm.org)
		1 point by ahsillyme 7 months ago \| past
9.		The Model Counting Competitions 2021-2023 (arxiv.org)
		2 points by ahsillyme on April 22, 2025 \| past
10.		Broughton Suspension Bridge (wikipedia.org)
		1 point by ahsillyme on March 2, 2025 \| past
11.		High-Throughput SAT Sampling (arxiv.org)
		2 points by ahsillyme on Feb 14, 2025 \| past
12.		Flip Graphs with Symmetry and New Matrix Multiplication Schemes (arxiv.org)
		3 points by ahsillyme on Feb 10, 2025 \| past
13.		Adaptive Orthogonal Convolution Scheme for Efficient, Flexible CNN Architectures (arxiv.org)
		1 point by ahsillyme on Jan 16, 2025 \| past
14.		Mlkaps: Machine Learning and Adaptive Sampling for HPC Kernel Auto-Tuning (arxiv.org)
		3 points by ahsillyme on Jan 13, 2025 \| past