paper-with-me

홈 › Papers

Human-Certified Module Repositories for the AI Age

2026-03-03 · Szilárd Enyedi arxiv

Human-Certified Module Repositories (HCMRs) are introduced in this work as a new architectural model for constructing trustworthy software in the era of AI-assisted development. As large language models increasingly participate in code generation, configuration synthesis, and multi-component integration, the reliability of AI-assembled systems will depend critically on the trustworthiness of the building blocks they use. Today's software supply-chain incidents and modular development ecosystems highlight the risks of relying on components with unclear provenance, insufficient review, or unpredictable composition behavior. We argue that future AI-driven development workflows require repositories of reusable modules that are curated, security-reviewed, provenance-rich, and equipped with explicit interface contracts. To this end, we propose HCMRs, a framework that blends human oversight with automated analysis to certify modules and support safe, predictable assembly by both humans and AI agents. We present a reference architecture for HCMRs, outline a certification and provenance workflow, analyze threat surfaces relevant to modular ecosystems, and extract lessons from recent failures. We further discuss implications for governance, scalability, and AI accountability, positioning HCMRs as a foundational substrate for reliable and auditable AI-constructed software systems.

📄 PDF Abstract BibTeX arXiv:2603.02512

Code (0)

등록된 구현이 없습니다.

Tasks

Code Generation

Similar Papers 제목 키워드 기반

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

2018-08-23 · Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar 외

The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-lea…

UniT: A Unified Look at Certified Robust Training against Text Adversarial Perturbation

2023-09-21 · NeurIPS 2023 11

Recent years have witnessed a surge of certified robust training pipelines against text adversarial perturbation constructed by synonym substitutions. Given a base model, existing pipelines provide prediction certificate…

HiGitClass: Keyword-Driven Hierarchical Classification of GitHub Repositories

2019-10-16 · Yu Zhang, Frank F. Xu, Sha Li, Yu Meng 외

GitHub has become an important platform for code sharing and scientific exchange. With the massive number of repositories available, there is a pressing need for topic-based search. Even though the topic label functional…

ClassificationGeneral ClassificationNetwork Embedding

Feature-Space Smoothing: Certified Robustness of Deep Representations

2026-01-22 · Song Xia, Meiwen Ding, Chenqi Kong, Wenhan Yang 외 arxiv

Modern deep learning models exhibit strong capabilities across diverse applications, yet remain vulnerable to malicious inputs that induce erroneous predictions via feature-space distortion. To address this vulnerability…

Certified Human Trajectory Prediction

2024-03-20 · CVPR 2025 1 · Mohammadhossein Bahari, Saeed Saadatnejad, Amirhossein Askari Farsangi, Seyed-Mohsen Moosavi-Dezfooli 외

Predicting human trajectories is essential for the safe operation of autonomous vehicles, yet current data-driven models often lack robustness in case of noisy inputs such as adversarial examples or imperfect observation…

Autonomous VehiclesPredictionTrajectory Prediction