ahsillyme
- Karma
- 22
- Created
- 1 year ago
Recent Submissions
- 1. ▲ Step in Tine: Forking Processes in Functional Choreographies (arxiv.org)
- 2. ▲ Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
- 3. ▲ Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
- 4. ▲ The quadratic knapsack problem (2025) (sciencedirect.com)
- 5. ▲ Kleene Algebra (arxiv.org)
- 6. ▲ Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)
- 7. ▲ Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org)
- 8. ▲ Depth-13 Sorting Networks for 28 Channels (arxiv.org)
- 9. ▲ Generic functional parallel algorithms: scan and FFT (2017) (dl.acm.org)
- 10. ▲ The Model Counting Competitions 2021-2023 (arxiv.org)