ahsillyme
- Karma
- 24
- Created
- 1 year ago
Recent Submissions
- 1. ▲ Phantom Type (wiki.haskell.org)
- 2. ▲ Algorithmic Information Theory Data Compression Challenge (arxiv.org)
- 3. ▲ Step in Tine: Forking Processes in Functional Choreographies (arxiv.org)
- 4. ▲ Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
- 5. ▲ Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
- 6. ▲ The quadratic knapsack problem (2025) (sciencedirect.com)
- 7. ▲ Kleene Algebra (arxiv.org)
- 8. ▲ Massively Parallel Proof-Number Search for Impartial Games and Beyond (arxiv.org)
- 9. ▲ Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph (arxiv.org)
- 10. ▲ Depth-13 Sorting Networks for 28 Channels (arxiv.org)