2 papers
cs.CV2025
Synergizing Multigrid Algorithms with Vision Transformer: A Novel Approach to Enhance the Seismic Foundation Model
Huiwen Wu, Shuo Zhang, Yi Liu +1
Due to the emergency and homogenization of Artificial Intelligence (AI) technology development, transformer-based foundation models have revolutionized scientific applications, suc…
cs.LO2024
On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
Xin Sun, Xingchi Su, Xiaoning Bian +1
Quantum Hoare logic (QHL) is a formal verification tool specifically designed to ensure the correctness of quantum programs. There has been an ongoing challenge to achieve a relati…