OpenAI launches GPT-5.4 mini and nano, smaller models built for lower-cost coding, multimodal tasks, subagents, and ...

Abstract: Synthesizing ranking functions for loop programs is an important technique for proving termination. Unlike previous deep learning approaches that depend on program execution to obtain ...

Abstract: Least-squares reverse time migration (LSRTM), a linearized inverse problem, provides high-resolution subsurface images by minimizing the misfit between observed and simulated data. LSRTM can ...