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

1208.1955 2012-08-10 cs.AI 57%

Comparison of different T-norm operators in classification problems

Fahimeh Farahbod, Mahdi Eftekhari

专题命中仓库级理解：repository(abstract)；分类 cs.AI

Comments 6 pages, 1 figure, 4 tables; International Journal of Fuzzy Logic Systems (IJFLS) Vol.2, No.3, July 2012

1207.6541 2012-07-30 cs.PL cs.FL 57%

Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided

Vadim Zaytsev

专题命中仓库级理解：repository(abstract)；分类 cs.PL

1105.0768 2012-06-27 cs.SE 57%

Collaborative Software Development on the Web

Martin Nordio, H. -Christian Estler, Carlo A. Furia, Bertrand Meyer

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments 15 pages, 5 figures

1206.3667 2012-06-19 cs.IR cs.AI 57%

Information Retrieval in Intelligent Systems: Current Scenario & Issues

Sudhir Ahuja, Mr. Rinkaj Goyal

专题命中仓库级理解：repository(abstract)；分类 cs.AI

1202.2498 2012-02-14 cs.SE 57%

Survey-Based Analysis of the Proposed Component-Based Development Process

Rizwan Jameel Qureshi, M. E. Sandhu

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments 5 Pages; ISSN: 1013-5316, CODEN: SINTE 8

Journal ref Science International-Lahore, Vol. 20/3, September 2008, pp. 169-173

1201.2084 2012-01-11 cs.AI cs.IR 57%

Sentence based semantic similarity measure for blog-posts

Mehwish Aziz, Muhammad Rafi

专题命中仓库级理解：repository(abstract)；分类 cs.AI

Comments 6th International Conference on Digital Content, Multimedia Technology and its Applications (IDC), 2010

1111.6902 2011-11-30 cs.SE 57%

Requirements for Automated Assessment of Spreadsheet Maintainability

José Pedro Correia, Miguel A. Ferreira

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments 7 Pages, 1 Figure; Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2011 ISBN 978-0-9566256-9-4

1111.6713 2011-11-30 cs.AI 57%

An Enhanced Indexing And Ranking Technique On The Semantic Web

Ahmed Tolba, Nabila Eladawi, Mohammed Elmogy

专题命中仓库级理解：repository(abstract)；分类 cs.AI

Comments 8 pages, 7 figures

Journal ref IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 5, No 3, 2011, 118-125

1108.6097 2011-09-01 cs.LO cs.SE 57%

Proceedings Second Workshop on Logics for Component Configuration

Conrad Drescher, Ines Lynce, Ralf Treinen

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments EPTCS 65, 2011

1103.1497 2011-03-09 cs.SE 57%

Drag and Drop: Influences on the Design of Reusable Software Components

B. Jalender, A. Govardhan, P. Premchand, C. Kiranmai, G. Suresh Reddy

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments 8 pages, 6 figures, International Journal on Computer Science and Engineering (IJCSE)

Journal ref International Journal on Computer Science and Engineering(IJCSE) Vol. 02, No. 07, 2010, 2386-2393

1102.0257 2011-02-02 cs.SI cs.AI math.DS physics.soc-ph 57%

Emergence through Selection: The Evolution of a Scientific Challenge

Walter Quattrociocchi, Frederic Amblard

专题命中仓库级理解：repository(abstract)；分类 cs.AI

1007.5123 2010-07-30 cs.SE 57%

Building Reusable Software Component For Optimization Check in ABAP Coding

P. Shireesha, S. S. V. N. Sharma

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments 9 pages, 6 figures

Journal ref International Journal of Software Engineering & Applications 1.3 (2010) 38-46

1007.0831 2010-07-07 cs.LO cs.SE 57%

Proceedings First International Workshop on Logics for Component Configuration

Inês Lynce, Ralf Treinen

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Journal ref EPTCS 29, 2010

0909.0844 2009-12-01 cs.LG math.ST stat.TH 57%

High-Dimensional Non-Linear Variable Selection through Hierarchical Kernel Learning

Francis Bach

专题命中仓库级理解：repository(abstract)；分类 cs.LG

0902.0744 2009-12-01 cs.AI cs.HC cs.IR 57%

Embedding Data within Knowledge Spaces

James D. Myers, Joe Futrelle, Jeff Gaynor, Joel Plutchak, Peter Bajcsy, Jason Kastner, Kailash Kotwani, Jong Sung Lee, Luigi Marini, Rob Kooper, Robert E. McGrath, Terry McLaren, Alejandro Rodriguez, Yong Liu

专题命中仓库级理解：repository(abstract)；分类 cs.AI

Comments 10 pages with 1 figure. Corrected incorrect transliteration in abstract

0804.1302 2009-12-01 cs.LG math.ST stat.ML stat.TH 57%

Bolasso: model consistent Lasso estimation through the bootstrap

Francis Bach

专题命中仓库级理解：repository(abstract)；分类 cs.LG

0809.3584 2009-12-01 cs.SE cs.HC 57%

Spreadsheet Components For All

Jocelyn Paine

专题命中仓库级理解：repository(abstract)；分类 cs.SE

Comments 19 Pages

Journal ref Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2008 109-127 ISBN 978-905617-69-2

0809.1493 2009-12-01 cs.LG stat.ML 57%

Exploring Large Feature Spaces with Hierarchical Multiple Kernel Learning

Francis Bach

专题命中仓库级理解：repository(abstract)；分类 cs.LG

cs/0609007 2009-12-01 cs.LG 57%

A Massive Local Rules Search Approach to the Classification Problem

Vladislav Malyshkin, Ray Bakhramov, Andrey Gorodetsky

专题命中仓库级理解：repository(abstract)；分类 cs.LG

Comments 24 pages

cs/0607084 2009-12-01 cs.AI 57%

About Norms and Causes

Daniel Kayser, Farid Nouioua

专题命中仓库级理解：repository(abstract)；分类 cs.AI

Journal ref The 17th FLAIRS'04 Conference (2004) 502-507

cs/0408004 2009-12-01 cs.IR cs.LG 57%

Hypermedia Learning Objects System - On the Way to a Semantic Educational Web

Michael Engelhardt, Andreas Kárpáti, Torsten Rack, Ivette Schmidt, Thomas C. Schmidt

专题命中仓库级理解：repository(abstract)；分类 cs.LG

Comments 11 pages, 7 figures

Journal ref Proceedings of the International Workshop {"}Interactive Computer aided Learning{"} ICL 2003. Learning Objects and Reusability of Content, Kassel University Press 2003, ISBN 3-89958-029-X

cs/0408001 2009-12-01 cs.IR cs.LG 57%

Semantic Linking - a Context-Based Approach to Interactivity in Hypermedia

Michael Engelhardt, Thomas C. Schmidt

专题命中仓库级理解：repository(abstract)；分类 cs.LG

Journal ref R. Tolksdorf, R. Eckstein: Proc. of Berliner XML Tage. Humboldt-Universitaet zu Berlin; pp. 55-66; ISBN 3-88579-116-1; Berlin; 2003

cs/0305053 2009-11-30 cs.DL cs.CL 57%

Developing Open Data Models for Linguistic Field Data

Baden Hughes

专题命中仓库级理解：repository(abstract)；分类 cs.CL

2607.23806 2026-07-28 cs.CL cs.AI cs.IR cs.LG cs.PF 新提交 56%

A Frozen 12B Beats Frontier Models on Verified Work: 100% Accuracy, 0 Tokens, Bit-Exact, Forever

一个冻结的12B模型在经过验证的任务上超越前沿模型：100%准确率、零token、位精确、永远如此

Sietse Schelpe

专题命中仓库级理解：分类 cs.CL、cs.AI、cs.LG；repository(comments)

AI总结研究提出一种让模型冻结，通过增长持久内存来解决问题的方法。在多个问题族实例上，四种架构得分优异，执行与参数扩展解耦。该方法在开放式推理中也有效，内存选择快，存储规模大，在已验证任务上超越前沿模型。

Comments Industry experience report. 14 pages, 8 figures. Public testbench: https://corbenic-galahad-bench.hf.space; companion repository with SHA-256 provenance manifest: https://github.com/corbenicai/galahad-bench

2607.14397 2026-07-17 cs.CE 新提交 56%

Model-Informed Joint Material-Structural Optimization of Hard-Magnetic Soft Materials

硬磁软材料的模型驱动联合材料-结构优化

Ian Galloway, Prashant K. Jha

专题命中仓库级理解：repository(abstract,comments)

AI总结针对硬磁软材料，开发模型驱动框架，将多种关系纳入统一剪切模量框架获多个本构模型，经实验选代表性关系，再用所选模型开发联合材料-结构优化框架，可处理不同设计情况，产生规定变形响应设计并开源实现。

Comments 53 pages, 20 figures, 8 tables; Repository: https://github.com/CEADpx/top_optim

2512.13478 2026-07-16 cs.CL cs.AI cs.LG 56%

NRR-Core: Non-Resolution Reasoning as a Computational Framework for Contextual Identity and Ambiguity Preservation

NRR-Core：非解析推理作为情境身份和歧义保留的计算框架

Kei Saito

机构 * Independent Researcher, Japan（日本独立研究员）

专题命中仓库级理解：分类 cs.CL、cs.AI、cs.LG；repository(comments)

AI总结本文提出NRR框架，通过多向量嵌入、非坍缩注意力和情境身份追踪，解决人工智能系统过早解析歧义的问题，保持歧义保留以提升推理灵活性。

Comments 14 pages, 2 figures, 2 tables. Replacement synced to the current GitHub repository snapshot. Series hub: https://github.com/kei-saito-research/nrr-series-hub

2602.17431 2026-06-23 cs.CL cs.AI cs.LG 版本更新 56%

Fine-Grained Uncertainty Quantification for Long-Form Language Model Outputs: A Comparative Study

长文本语言模型输出的细粒度不确定性量化：一项比较研究

Dylan Bouchard, Mohit Singh Chauhan, Viren Bajaj, David Skarbrevik

机构 * CVS Health（CVS健康公司）； Wellesley, MA（马萨诸塞州韦尔士利）

专题命中仓库级理解：分类 cs.CL、cs.AI、cs.LG；repository(comments)

AI总结针对长文本生成，提出细粒度不确定性量化分类法，通过响应分解、单元级评分和响应级聚合三阶段区分方法，引入FactScore-STEM-Geo数据集，实验发现声明-响应蕴含评分优于复杂方法，声明级评分优于句子级，不确定性感知解码有效提升事实性。

Comments Accepted by TMLR; UQLM repository: https://github.com/cvs-health/uqlm

Journal ref Transactions on Machine Learning Research, 2026

2606.01428 2026-06-02 stat.ME stat.AP 56%

Quantifying Evidential Rigor in Meta-Analytic Corpora: A Simulation-Characterized, Bias-Robust Bayesian Workflow with a Nutrition Case Study

量化元分析语料库中的证据严谨性：一个模拟表征、偏差稳健的贝叶斯工作流及营养学案例研究

Matt Hester

专题命中仓库级理解：repository(abstract,comments)

AI总结提出一个语料库规模的贝叶斯证据审计工作流，通过联合贝叶斯因子综合效应/无效应证据和偏差成分缺失来量化证据严谨性，并使用ADEMP框架的模拟/重采样设计进行表征，以营养干预语料库作为案例研究。

Comments 59 pages, 13 figures; supplementary material included as ancillary file; companion repository archived at Zenodo, DOI: 10.5281/zenodo.20467258

2506.11590 2026-05-20 physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el nucl-th physics.comp-ph 56%

The QUEST Database of Highly-Accurate Excitation Energies

高精度激发能数据库QUEST

Pierre-François Loos, Martial Boggio-Pasqua, Aymeric Blondel, Filippo Lipparini, Denis Jacquemin

专题命中仓库级理解：repository(abstract,comments)

AI总结本文介绍了QUEST数据库，该数据库提供了大量激发态和分子的垂直跃迁能的理论最佳估计，包含多种参考基组的计算结果，并评估了各种单参考和多参考波函数方法的性能。

Comments 28 pages, 7 figures (Supporting Information available). For associated git repository, see https://github.com/pfloos/QUESTDB

Journal ref J. Chem. Theory Comput. 21, 8010 (2025)

2603.17339 2026-03-19 cs.DL 56%

citecheck: An MCP Server for Automated Bibliographic Verification and Repair in Scholarly Manuscripts

citecheck: 一种MCP服务器，用于学术手稿中的自动文献验证与修复

Junhyeok Lee

专题命中仓库级理解：repository(abstract,comments)

AI总结 citecheck通过自动化验证和修复学术手稿中的文献错误，包括识别错误、元数据不完整、作者归属错误及预印本与发表版本不一致等问题，提供结构化修复建议和安全诊断。

Comments 6 pages, 1 figure. Software paper on bibliography verification and repair for scholarly manuscripts; includes MCP server implementation and evaluation on repository-backed tests

1. 仓库级理解 3967 篇

Comparison of different T-norm operators in classification problems

Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided

Collaborative Software Development on the Web

Information Retrieval in Intelligent Systems: Current Scenario & Issues

Survey-Based Analysis of the Proposed Component-Based Development Process

Sentence based semantic similarity measure for blog-posts

Requirements for Automated Assessment of Spreadsheet Maintainability

An Enhanced Indexing And Ranking Technique On The Semantic Web

Proceedings Second Workshop on Logics for Component Configuration

Drag and Drop: Influences on the Design of Reusable Software Components

Emergence through Selection: The Evolution of a Scientific Challenge

Building Reusable Software Component For Optimization Check in ABAP Coding

Proceedings First International Workshop on Logics for Component Configuration

High-Dimensional Non-Linear Variable Selection through Hierarchical Kernel Learning

Embedding Data within Knowledge Spaces

Bolasso: model consistent Lasso estimation through the bootstrap

Spreadsheet Components For All

Exploring Large Feature Spaces with Hierarchical Multiple Kernel Learning

A Massive Local Rules Search Approach to the Classification Problem

About Norms and Causes

Hypermedia Learning Objects System - On the Way to a Semantic Educational Web

Semantic Linking - a Context-Based Approach to Interactivity in Hypermedia

Developing Open Data Models for Linguistic Field Data

A Frozen 12B Beats Frontier Models on Verified Work: 100% Accuracy, 0 Tokens, Bit-Exact, Forever

Model-Informed Joint Material-Structural Optimization of Hard-Magnetic Soft Materials

NRR-Core: Non-Resolution Reasoning as a Computational Framework for Contextual Identity and Ambiguity Preservation

Fine-Grained Uncertainty Quantification for Long-Form Language Model Outputs: A Comparative Study

Quantifying Evidential Rigor in Meta-Analytic Corpora: A Simulation-Characterized, Bias-Robust Bayesian Workflow with a Nutrition Case Study

The QUEST Database of Highly-Accurate Excitation Energies

citecheck: An MCP Server for Automated Bibliographic Verification and Repair in Scholarly Manuscripts