2 papers
cs.NI2026
Self-evolving network verifiers
Ioannis Protogeros, Tibor Schneider, Laurent Vanbever
Symbolic network verifiers can reason about correctness across vast spaces of routing inputs and failures, but only for the protocols and features an expert has encoded by hand. Cr…
cs.LG2026
Mojo: A Promising Tool for Scalable Financial AI Efficiency
Henry Han
For thirty years, quantitative finance has paid a costly two-language tax: models researched in Python are rewritten in C++ for production, often introducing numerical discrepancie…