代码大模型 / AI 编程 - arXivDaily 专题

2502.13401 2025-10-24 cs.CR cs.AR 50%

CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks

Ke Jiang, Sen Deng, Yinshuai Li, Shuai Wang, Tianwei Zhang, Yinqian Zhang

专题命中程序分析与验证：code generation(abstract)

2508.19877 2025-08-28 quant-ph cond-mat.str-el 50%

Partial Anyon Condensation in the Color Code: A Hamiltonian Approach

Mohsen Rahmani Haghighi, Mohammad Hossein Zarei

专题命中程序分析与验证：code model(abstract)

Comments Submitted to Physical Review B ; 12 pages, 7 figures

2506.12683 2025-06-17 cs.CV q-bio.QM 50%

Evaluating Cell Type Inference in Vision Language Models Under Varying Visual Context

Samarth Singhal, Sandeep Singhal

机构 * University of North Dakota（北达科他大学）

专题命中程序分析与验证：repository(abstract)

2504.10623 2025-04-16 physics.comp-ph 50%

SWtools: A Python module implementing iterative solvers for soliton solutions of nonlinear Schrödinger-type equations

O. Melchert, A. Demircan

专题命中程序分析与验证：repository(abstract)

2410.14692 2024-10-22 cs.DB cs.IR 50%

Attribute-Based Semantic Type Detection and Data Quality Assessment

Marcelo Valentim Silva, Hannes Herrmann, Valerie Maxville

专题命中程序分析与验证：repository(abstract)

Comments 10 pages, 9 tables, sent for approval at BDCAT 2024

2408.00125 2024-09-02 astro-ph.SR astro-ph.HE 50%

Shocking and Mass Loss of Compact Donor Stars in Type Ia Supernovae

Tin Long Sunny Wong, Christopher White, Lars Bildsten

专题命中程序分析与验证：code model(abstract)

Comments 18 pages, 11 figures; Accepted to ApJ

2404.18067 2024-04-30 cs.LO 50%

Type Inference for Isabelle2Cpp

Dongchen Jiang, Chenxi Fu

专题命中程序分析与验证：code generation(abstract)

Comments 22 pages, 4 figures

2401.16205 2024-03-20 cs.RO 50%

CognitiveOS: Large Multimodal Model based System to Endow Any Type of Robot with Generative AI

Artem Lykov, Mikhail Konenkov, Koffivi Fidèle Gbagbe, Mikhail Litvinov, Denis Davletshin, Aleksey Fedoseev, Miguel Altamirano Cabrera, Robinroy Peter, Dzmitry Tsetserukou

专题命中程序分析与验证：repository(abstract)

Comments The paper is submitted to the IEEE conference

2212.00042 2024-03-14 quant-ph cond-mat.str-el 50%

Anyon condensation and the color code

Markus S. Kesselring, Julio C. Magdalena de la Fuente, Felix Thomsen, Jens Eisert, Stephen D. Bartlett, Benjamin J. Brown

专题命中程序分析与验证：code model(abstract)

Comments 55 pages, 57 figures, comments welcome; v2 - changes made in response to the peer-review process

Journal ref PRX Quantum 5, 010342 (2024)

2402.09516 2024-02-16 quant-ph cond-mat.str-el 50%

Replica topological order in quantum mixed states and quantum error correction

Zhuan Li, Roger S. K. Mong

专题命中程序分析与验证：code model(abstract)

2308.04489 2023-08-10 cond-mat.str-el hep-th 50%

Gapped Interfaces in Fracton Models and Foliated Fields

Po-Shen Hsin, Zhu-Xi Luo, Ananth Malladi

专题命中程序分析与验证：code model(abstract)

Comments 36 pages, 10 figures

2305.18236 2023-05-30 cs.DC cs.PF 50%

Fast Matrix Multiplication via Compiler-only Layered Data Reorganization and Intrinsic Lowering

Braedy Kuzma, Ivan Korostelev, João P. L. de Carvalho, José E. Moreira, Christopher Barton, Guido Araujo, José Nelson Amaral

专题命中程序分析与验证：code generation(abstract)

2211.16862 2023-05-16 quant-ph physics.space-ph 50%

Satellite-to-Ground Continuous Variable Quantum Key Distribution: The Gaussian and Discrete Modulated Protocols in Low Earth Orbit

Mikhael Sayat, Biveen Shajilal, Sebastian P. Kish, Syed M. Assad, Thomas Symul, Ping Koy Lam, Nicholas Rattenbury, John Cater

专题命中程序分析与验证：code model(abstract)

Comments Submitted to IEEE Transactions on Communications. 29 pages, 8 figures

2211.09802 2023-05-12 quant-ph cond-mat.mes-hall cond-mat.other 50%

Digital simulation of non-Abelian anyons with 68 programmable superconducting qubits

Shibo Xu, Zheng-Zhi Sun, Ke Wang, Liang Xiang, Zehang Bao, Zitian Zhu, Fanhao Shen, Zixuan Song, Pengfei Zhang, Wenhui Ren, Xu Zhang, Hang Dong, Jinfeng Deng, Jiachen Chen, Yaozu Wu, Ziqi Tan, Yu Gao, Feitong Jin, Xuhao Zhu, Chuanyu Zhang, Ning Wang, Yiren Zou, Jiarun Zhong, Aosai Zhang, Weikang Li, Wenjie Jiang, Li-Wei Yu, Yunyan Yao, Zhen Wang, Hekang Li, Qiujiang Guo, Chao Song, H. Wang, Dong-Ling Deng

专题命中程序分析与验证：code model(abstract)

Journal ref Chin. Phys. Lett. 40 060301 (2023)

2201.11456 2022-08-31 physics.soc-ph 50%

Power Laws, the Price Model, and the Pareto type-2 Distribution

Grzegorz Siudem, Przemysław Nowak, Marek Gagolewski

专题命中程序分析与验证：repository(abstract)

Journal ref Physica A: Statistical Mechanics and its Applications 2022, 128059

2206.11786 2022-06-24 eess.SY cs.SY 50%

SVSHI: Secure and Verified Smart Home Infrastructure

Andrea Veneziano, Samuel Chassot

专题命中程序分析与验证：code generation(abstract)

2106.08913 2022-06-22 cs.CR 50%

Technical Report: Hardening Code Obfuscation Against Automated Attacks

Moritz Schloegel, Tim Blazytko, Moritz Contag, Cornelius Aschermann, Julius Basler, Thorsten Holz, Ali Abbasi

专题命中程序分析与验证：program synthesis(abstract)

2011.06611 2021-11-16 cond-mat.str-el cond-mat.stat-mech quant-ph 50%

Entanglement order parameters and critical behavior for topological phase transitions and beyond

Mohsin Iqbal, Norbert Schuch

专题命中程序分析与验证：code model(abstract)

Comments v2: Significantly extended; added new Section IV with construction and study of disorder parameters for conventional phase transitions

Journal ref Phys. Rev. X 11, 041014 (2021)

2005.08363 2021-09-30 cs.CR 50%

Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets

Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, Santosh Pande

专题命中程序分析与验证：code generation(abstract)

Comments 30 pages, 7 figures, 9 tables

2103.03599 2021-03-08 cs.LO 50%

Algebra-based Synthesis of Loops and their Invariants (Invited Paper)

Andreas Humenberger, Laura Kovacs

专题命中程序分析与验证：program synthesis(abstract)

2101.07841 2021-01-21 cs.CR 50%

Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption

Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, Brandon Reagen

专题命中程序分析与验证：program synthesis(abstract)

2012.14152 2021-01-01 cond-mat.str-el cond-mat.stat-mech quant-ph 50%

Constructing tensor network wavefunction for a generic two-dimensional quantum phase transition via thermofield double states

Wen-Tao Xu, Guang-Ming Zhang

专题命中程序分析与验证：code model(abstract)

Comments 6 pages, 3 figures. some corrections are made

1906.08849 2020-03-27 cs.RO 50%

Improved Planetary Rover Inertial Navigation and Wheel Odometry Performance through Periodic Use of Zero-Type Constraints

Cagri Kilic, Jason N. Gross, Nicholas Ohi, Ryan Watson, Jared Strader, Thomas Swiger, Scott Harper, Yu Gu

专题命中程序分析与验证：repository(abstract)

Comments 8 pages, 9 figures, Accepted to IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2019

1812.04561 2019-12-02 cond-mat.stat-mech hep-th math-ph math.MP quant-ph 50%

Absence of Finite Temperature Phase Transitions in the X-Cube Model and its $\mathbb{Z}_{p}$ Generalization

Zack Weinstein, Emilio Cobanera, Gerardo Ortiz, Zohar Nussinov

专题命中程序分析与验证：code model(abstract)

Comments 67 pages, 18 figures; v4: minor typos corrected

Journal ref Ann. Phys. 412, 168018 (2020)

1505.01001 2019-07-09 math-ph math.MP quant-ph 50%

Homological codes and abelian anyons

Péter Vrana, Máté Farkas

专题命中程序分析与验证：code model(abstract)

Comments 50 pages, 11 figures; v2: Minor corrections. Lots of them

Journal ref Rev. Math. Phs. Vol. 31, No. 10 (2019) 1950038

1906.11741 2019-06-28 q-bio.NC 50%

Attentional Modulation of Visual Spatial Integration: Psychophysical Evidence Supported by Population Coding Modeling

Alessandro Grillini, Remco J. Renken, Frans W. Cornelissen

专题命中程序分析与验证：code model(abstract)

Comments 39 pages, 10 figures, accepted for publication in Journal of Cognitive Neuroscience

1905.02241 2019-05-08 cs.MS q-bio.NC 50%

An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language

Pramod Kumbhar, Omar Awile, Liam Keegan, Jorge Blanco Alonso, James King, Michael Hines, Felix Schürmann

专题命中程序分析与验证：code generation(abstract)

1608.04890 2016-11-11 quant-ph cond-mat.mes-hall 50%

Emulating anyonic fractional statistical behavior in a superconducting quantum circuit

Y. P. Zhong, D. Xu, P. Wang, C. Song, Q. J. Guo, W. X. Liu, K. Xu, B. X. Xia, Chao-Yang Lu, Siyuan Han, Jian-Wei Pan, Haohua Wang

专题命中程序分析与验证：code model(abstract)

Comments to appear in Physical Review Letters, 5 pages, 4 figures

Journal ref Phys. Rev. Lett. 117, 110501 (2016)

1512.01542 2015-12-07 hep-lat physics.comp-ph 50%

Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler

Meifeng Lin, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi, Chulwoo Jung

专题命中程序分析与验证：code generation(abstract)

Comments 7 pages, 4 figures. Proceedings of the 33rd International Symposium on Lattice Field Theory, July 14 -18, 2015, Kobe, Japan

Journal ref PoS(LATTICE 2015)022

1503.04949 2015-11-30 cs.CV 50%

Learning Sparse High Dimensional Filters: Image Filtering, Dense CRFs and Bilateral Neural Networks

Varun Jampani, Martin Kiefel, Peter V. Gehler

专题命中程序分析与验证：code model(abstract)

1. 程序分析与验证 189 篇

CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks

Partial Anyon Condensation in the Color Code: A Hamiltonian Approach

Evaluating Cell Type Inference in Vision Language Models Under Varying Visual Context

SWtools: A Python module implementing iterative solvers for soliton solutions of nonlinear Schrödinger-type equations

Attribute-Based Semantic Type Detection and Data Quality Assessment

Shocking and Mass Loss of Compact Donor Stars in Type Ia Supernovae

Type Inference for Isabelle2Cpp

CognitiveOS: Large Multimodal Model based System to Endow Any Type of Robot with Generative AI

Anyon condensation and the color code

Replica topological order in quantum mixed states and quantum error correction

Gapped Interfaces in Fracton Models and Foliated Fields

Fast Matrix Multiplication via Compiler-only Layered Data Reorganization and Intrinsic Lowering

Satellite-to-Ground Continuous Variable Quantum Key Distribution: The Gaussian and Discrete Modulated Protocols in Low Earth Orbit

Digital simulation of non-Abelian anyons with 68 programmable superconducting qubits

Power Laws, the Price Model, and the Pareto type-2 Distribution

SVSHI: Secure and Verified Smart Home Infrastructure

Technical Report: Hardening Code Obfuscation Against Automated Attacks

Entanglement order parameters and critical behavior for topological phase transitions and beyond

Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets

Algebra-based Synthesis of Loops and their Invariants (Invited Paper)

Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption

Constructing tensor network wavefunction for a generic two-dimensional quantum phase transition via thermofield double states

Improved Planetary Rover Inertial Navigation and Wheel Odometry Performance through Periodic Use of Zero-Type Constraints

Absence of Finite Temperature Phase Transitions in the X-Cube Model and its $\mathbb{Z}_{p}$ Generalization

Homological codes and abelian anyons

Attentional Modulation of Visual Spatial Integration: Psychophysical Evidence Supported by Population Coding Modeling

An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language

Emulating anyonic fractional statistical behavior in a superconducting quantum circuit

Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler

Learning Sparse High Dimensional Filters: Image Filtering, Dense CRFs and Bilateral Neural Networks