Cover Image

Rethinking Scientific Modeling: Toward Physically Consistent and Simulation-Executable Programmatic Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jiang, Yongqing, Wang, Jianze, Shen, Zhiqi, Lin, Zhenghong, Wang, Jiayuan, Yang, Yijian, Dai, Kaoshan, Luo, Haoran
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

InteractScience: Programmatic and Visually-Grounded Evaluation of Interactive Scientific Demonstration Code Generation
by: Chen, Qiaosheng, et al.
Published: (2025)

Rethinking State Management in Actor Systems for Cloud-Native Applications
by: Liu, Yijian, et al.
Published: (2024)

Agentic Scientific Simulation: Execution-Grounded Model Construction and Reconstruction
by: Lie, Knut-Andreas, et al.
Published: (2026)

Logging Like Humans for LLMs: Rethinking Logging via Execution and Runtime Feedback
by: Wang, Xin, et al.
Published: (2026)

Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
by: Shi, Jieke, et al.
Published: (2024)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

Toward Executable Repository-Level Code Generation via Environment Alignment
by: Pan, Ruwei, et al.
Published: (2026)

Demystifying Errors in LLM Reasoning Traces: An Empirical Study of Code Execution Simulation
by: Abdollahi, Mohammad, et al.
Published: (2025)

BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
by: Lin, Hongyu, et al.
Published: (2025)

Rethinking Technology Stack Selection with AI Coding Proficiency
by: Zhang, Xiaoyu, et al.
Published: (2025)

CodeScore: Evaluating Code Generation by Learning Code Execution
by: Dong, Yihong, et al.
Published: (2023)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

Towards Richer Challenge Problems for Scientific Computing Correctness
by: Sottile, Matthew, et al.
Published: (2025)

CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
by: Chen, Zaoyu, et al.
Published: (2026)

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
by: Risco-Martín, José L., et al.
Published: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Towards Reliable Generation of Executable Workflows by Foundation Models
by: Masoumzadeh, Sogol, et al.
Published: (2025)

Toward a Cohesive AI and Simulation Software Ecosystem for Scientific Innovation
by: Heroux, Michael A., et al.
Published: (2024)

One-for-All Does Not Work! Enhancing Vulnerability Detection by Mixture-of-Experts (MoE)
by: Yang, Xu, et al.
Published: (2025)

VFDelta: A Framework for Detecting Silent Vulnerability Fixes by Enhancing Code Change Learning
by: Yang, Xu, et al.
Published: (2024)

Software Space Analytics: Towards Visualization and Statistics of Internal Software Execution
by: Saito, Shinobu
Published: (2026)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
by: Wei, Chao, et al.
Published: (2026)

Sherlock: Reliable and Efficient Agentic Workflow Execution
by: Ro, Yeonju, et al.
Published: (2025)

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
by: Pei, Yunrui, et al.
Published: (2025)

LabUtopia: High-Fidelity Simulation and Hierarchical Benchmark for Scientific Embodied Agents
by: Li, Rui, et al.
Published: (2025)

ScalerEval: Automated and Consistent Evaluation Testbed for Auto-scalers in Microservices
by: Xie, Shuaiyu, et al.
Published: (2025)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
by: Shinde, Swapnil, et al.
Published: (2026)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
by: Wang, Lianjing, et al.
Published: (2026)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
by: Chen, Jiachi, et al.
Published: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
by: Yang, Shuo, et al.
Published: (2024)

RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generation
by: Li, Qingyao, et al.
Published: (2024)

Framework and Methodology for Verification of a Complex Scientific Simulation Software, Flash-X
by: Dhruv, Akash, et al.
Published: (2023)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
by: Ran, Dezhi, et al.
Published: (2025)

Towards LLM-Powered Task-Aware Retrieval of Scientific Workflows for Galaxy
by: Cynthia, Shamse Tasnim, et al.
Published: (2025)

Rethinking Code Complexity Through the Lens of Large Language Models
by: Xie, Chen, et al.
Published: (2026)

GenX: Mastering Code and Test Generation with Execution Feedback
by: Wang, Nan, et al.
Published: (2024)

Is Your AI-Generated Code Really Safe? Evaluating Large Language Models on Secure Code Generation with CodeSecEval
by: Wang, Jiexin, et al.
Published: (2024)

Toward Automated and Trustworthy Scientific Analysis and Visualization with LLM-Generated Code
by: Chakroborti, Apu Kumar, et al.
Published: (2025)