White Dwarf Rotation as a Function of Mass and a Dichotomy of Mode Linewidths: Kepler Observations of 27 Pulsating DA White Dwarfs Through K2 Campaign 8
J. J. Hermes, B. T. Gaensicke, Steven D. Kawaler, S. Greiss, P. -E. Tremblay, Nicola Pietro Gentile Fusillo, R. Raddi, S. M. Fanale, Keaton J. Bell, E. Dennihy, J. T. Fuchs, B. H. Dunlap, J. C. Clemens, M. H. Montgomery, D. E. Winget, P. Chote, T. R. Marsh, S. Redfield
专题命中
测试生成
:repository(abstract)
Comments33 pages, 31 figures, 5 tables; accepted for publication in ApJS. All raw and reduced data are collected at http://www.k2wd.org
Assertion-based Analysis via Slicing with ABETS (System Description)
M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
专题命中
测试生成
:program repair(abstract)
CommentsPaper presented at the 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA, 16-21 October 2016, 15 pages, LaTeX, 3 PDF figures
A. Rossi, S. Schulze, S. Klose, D. A. Kann, A. Rau, H. A. Krimm, G. Jóhannesson, A. Panaitescu, F. Yuan, P. Ferrero, T. Krühler, J. Greiner, P. Schady, S. B. Pandey, L. Amati, P. M. J. Afonso, C. W. Akerlof, L. Arnold, C. Clemens, R. Filgas, D. H. Hartmann, A. Küpcü Yoldaş, S. McBreen, T. A. McKay, A. Nicuesa Guelbenzu, F. Olivares E., B. Paciesas, E. S. Rykoff, G. Szokoly, A. C. Updike, A. Yoldaş
专题命中
测试生成
:repository(abstract)
CommentsA&A, in press (including revisions according to the language editor), 14 pages, 11 figures, 7 tables; Online Appendix: 4 pages, 1 figure, 4 tables; v4: final journal version to be published soon
Comments20 pages, 1 figure, 9 tables. v2 adds Round 2: Russian-market coding agents (SourceCraft CLI, Koda CLI), Antigravity with Gemini 3.1 Pro / 3.5 Flash, and Codex CLI with GPT-5.6 on the same frozen task set, plus a tool-call contamination re-audit (network + disk layers). Data, full trajectories and harness: https://github.com/eugeneshilow/rubench
Form, Not Content? A Preregistered, Placebo-Controlled Evaluation of Learned Error-Conditioned Self-Repair Through Prompts and Weights in Frozen Small Code Models
形式而非内容?对冻结小代码模型中通过提示和权重进行的学习错误条件自修复的预注册、安慰剂对照评估
Mehmet Iscan
机构
*
PythaLab, Yıldız Technical University, Istanbul, Turkey(PythaLab,Yıldız技术大学,伊斯坦布尔,土耳其)
机构
*
Institute for Artificial Intelligence, Peking University(人工智能研究院,北京大学)
;
School of Intelligence Science and Technology, Peking University(智能科学与技术学院,北京大学)
;
College of Intelligence Science and Technology, National University of Defense Technology(智能科学与技术学院,国防科技大学)