- AI · arxiv/cs.LG · 8 min
Neural Networks and ODEs Compute Primitive Recursion via Dynamics, Not Composition
Bournez proves recurrent ReLU networks, polynomial ODEs, and discrete maps all express primitive recursive functions through continuous-time trajectories rather than symbolic subroutine chaining.
April 28, 2026 Read → → - Engineering · arxiv/cs.LG · 8 min
Routing Optimization for Satellite Federated Learning: Tractable Boundaries
Researchers map which routing problems in orbital federated learning can be solved efficiently and which are computationally hard.
April 22, 2026 Read → → - AI · arxiv/cs.AI · 8 min
LLMs hit formal reasoning ceiling; Chomsky Hierarchy reveals efficiency gap
New benchmark shows large language models struggle with structured complexity tasks and require prohibitive compute to achieve reliability in formal reasoning.
April 17, 2026 Read → → - AI · arxiv/cs.LG · 8 min
Quantum kernel inference cuts query cost by removing data-size dependence
New algorithm reduces quantum machine learning inference complexity from O(N) to O(1) in data size, achieving query-optimal bounds via amplitude estimation.
April 17, 2026 Read → →