Scientific Computing

Ask about this topic

Latest papers

CardsList

12 papers1 paper in the last four weeks, down 67% on the four weeks before. 0.0% of all new papers.

  1. ScienceCUA: Resource-to-Skill Construction and Execution-Guided Skill Evolution for Scientific Computer Use Agents

    Nov 2, 2026Daiqiang Li, Jingyi Peng, Rui Hu +7Computer-Use AgentsAgent Skill Learning

    DeepAutonomy Technology Co., Ltd. · Peking University · College of AI, Tsinghua University +2

  2. Analog and hybrid computing in the 21st century

    Oct 30, 2026Bernd Ulmann, Olivier Bournez, Corey J. Maley +19Analog ComputingScientific Computing

    FOM University of Applied Sciences for Economics and Management, 60323 Frankfurt a. M., Germany · anabrid GmbH, 60486 Frankfurt a. M., Germany · LIX, CNRS, Ecole Polytechnique, Institut Polytechnique de Paris, 91120 Palaiseau, France +18

  3. Is manual software optimization a thing of the past?

    Sep 29, 2026Pavlin G. Poličar, Martin Špendl, Tomaž HočevarSoftware Engineering AgentsAutomated Algorithm Discovery

    Faculty of Computer and Information Science University of Ljubljana Večna pot 113, 1000 Ljubljana, Slovenia

  4. Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation

    Sep 16, 2026Hansol Suh, Jan Hückelheim, Stephen SiegelScientific ComputingFormal Verification

    Argonne National Laboratory, Lemont, Illinois, USA · University of Delaware, Newark, Delaware, USA

  5. OpenAI4S: Code as Action, Science as Sessions

    Sep 14, 2026Gongbo Zhang, Hao Li, Yu Wang +15Data ProvenanceRuntime Enforcement for AI Agents

    Peking University Shenzhen Graduate School, Shenzhen, 518055, China · Tsinghua-Peking Joint Center for Life Sciences, School of Life Sciences, Tsinghua University, Beijing, China · Independent Researcher +1

  6. ToolGate: An Executable Acceptance Pipeline for Tool-Dependent Scientific Benchmark Construction

    Sep 2, 2026Ke Zhang, Yankang Liu, Roya Zandi +1Tool-Use EvaluationBenchmark Construction

    University of California, Riverside

  7. From Execution to Capability: Scientific Experience Consolidation via Procedural Knowledge Synthesis

    Jul 27, 2026Liwei Dong, Jiahao Zhao, Nan XuContinual Learning for LLMsScientific Computing

    ScienceOne AI

  8. Scientific Code Search at Scale: A Multi-Domain Dataset and Benchmark

    Jul 3, 2026Nishan Pantha, Pranath Reddy Kumbam, Sajil Awale +8Benchmark DesignInformation Retrieval

    The University of Alabama in Huntsville (UAH), Huntsville, AL, USA · Universities Space Research Association (USRA), USA · NASA Marshall Space Flight Center, Huntsville, AL, USA

  9. A semantic mutation metric for metamorphic relation adequacy in scientific computing programs

    May 17, 2026Meng Li, Xiaohua Yang, Jie Liu +1Automated Software TestingMetamorphic Testing

    School of Computing, University of South China, Hengyang, China · Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment, Hengyang, China · CNNC Key Laboratory on High Trusted Computing, Hengyang, China

  10. Metal-Sci: A Scientific Compute Benchmark for Evolutionary LLM Kernel Search on Apple Silicon

    May 10, 2026Víctor GallegoGPU Kernel OptimizationBenchmark Design

    Komorebi AI Technologies, Madrid, Spain

  11. FormulaCode: Evaluating Agentic Optimization on Large Codebases

    Mar 16, 2026Atharva Sehgal, James Hou, Akanksha Sarkar +4Scientific ComputingCoding Agent Benchmarks

    The University of Texas at Austin · California Institute of Technology · Cornell University

  12. Re4: Scientific Computing Agent with Rewriting, Resolution, Review and Revision

    Aug 28, 2025Ao Cheng, Lei Zhang, Guowei HeScientific ComputingScientific Code Generation

    The State Key Laboratory of Nonlinear Mechanics, Institute of Mechanics, Chinese Academy of Sciences, Beijing 100190, China · School of Engineering Science, University of Chinese Academy of Sciences, Beijing 100049, China