arXiv:2603.21011v2 Announce Type: replace-cross
Abstract: Finite element (FE) analysis guides the design and verification of nearly all manufactured objects. It is at the core of computational engineering, enabling simulation of complex physical syste…
arXiv:2507.01770v4 Announce Type: replace-cross
Abstract: This paper introduces a numerical method to enclose the global minimum of a nonlinear function subject to simple bounds on the variables. Using interval analysis, coupled with the computational…
arXiv:2604.07240v1 Announce Type: cross
Abstract: We introduce a code-based challenge for automated, open-ended mathematical discovery based on the $k$-server conjecture, a central open problem in competitive analysis. The task is to discover a potent…
arXiv:2604.04274v1 Announce Type: new
Abstract: Causal inference is central to scientific discovery, yet choosing appropriate methods remains challenging because of the complexity of both statistical methodology and real-world data. Inspired by the su…