AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

共收录 189 篇信号源：cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 189 篇

1306.5711 2015-06-16 quant-ph cond-mat.str-el 50%

Entanglement negativity and topological order

Yirun Arthur Lee, Guifre Vidal

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

Comments 14 pages, 5 figures (discussion enlarged) -- results closely related to C. Castelnovo, arXiv:1306.4990

Journal ref Phys. Rev. A 88, 042318 (2013)

1006.4871 2015-05-19 quant-ph 50%

Topological order in an exactly solvable 3D spin model

Sergey Bravyi, Bernhard Leemhuis, Barbara M. Terhal

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

Comments 39 pages, 15 figures

Journal ref Ann. Phys., Vol. 326:4, page 839 (2011)

1006.0299 2015-05-19 astro-ph.SR 50%

Wind-driving protostellar accretion discs. II. Numerical method and illustrative solutions

R. Salmeron, A. Königl, M. Wardle

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

Comments 20 pages, 13 figures, 3 tables; submitted for publication in MNRAS

0804.3175 2014-11-18 cond-mat.stat-mech cond-mat.other 50%

Topological multicritical point in the Toric Code and 3D gauge Higgs Models

I. S. Tupitsyn, A. Kitaev, N. V. Prokof'ev, P. C. E. Stamp

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

Comments 4 pages, 3 figures

Journal ref Phys.Rev.B82:085114,2010

1212.0593 2013-04-10 cond-mat.str-el quant-ph 50%

Classifying fractionalization: symmetry classification of gapped Z2 spin liquids in two dimensions

Andrew M. Essin, Michael Hermele

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

Comments 30 pages, 25 figures; v2: Some minor clarifications. References added. v3: New appendix. Clarifications to text. Typos and figures corrected. References updated. v4: Minor error corrected, acknowledgments updated

Journal ref Phys. Rev. B 87, 104406 (2013)

1106.4171 2012-08-10 math-ph math.MP math.OA quant-ph 50%

Haag duality and the distal split property for cones in the toric code

Pieter Naaijkens

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

Comments 15 pages, 2 figures, v2: extended introduction

Journal ref Lett. Math. Phys. 101 (2012), 341-354

1108.4038 2011-12-12 cond-mat.str-el hep-th quant-ph 50%

Entanglement Entropy of Gapped Phases and Topological Order in Three dimensions

Tarun Grover, Ari M. Turner, Ashvin Vishwanath

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

Comments 16.5 pages, 10 figures

Journal ref Phys. Rev. B 84, 195120 (2011)

0808.3100 2009-12-01 cs.PF 50%

Optimizing Compiler for Engineering Problems

Petr R. Ivankov

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

Comments 6 pages, 1 figure

cond-mat/0007198 2009-11-30 cond-mat.dis-nn q-bio.NC 50%

An associative memory of Hodgkin-Huxley neuron networks with Willshaw-type synaptic couplings

Hideo Hasegawa

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

Comments 15 pages, 3 figures, changed Title

Journal ref J. Phys. Soc. Jpn. 70 (2001) 2210