arXiv CS
open access
TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification
Recent reports, such as "Who is using AI to code?", indicate that approximately 30\% of Python code contributions to GitHub are AI-generated. Given the inherent unreliability of this code, formal verification emerges as a promising approach to establish trust in software correctness. Although levera
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- What the Trace Shows and What the Label Says: Auditing Behavioral Detectors in Agent Evaluation#1417909
- The Customer Is the Builder: How AI Coding Agents Are Rewriting the Economics of Software#1417911
- How Prompt Style Affects AI Accuracy and Speed in Competitive Programming#1417912
- Agentic Architecture of Information Systems. The AAM/5C Model: A Reference Model for Distributed Autonomy#1417913
- A Consolidated Deployment Edition of a Microservice Core-Banking Platform: Composing Services by Reference into Three Hosts#1417914
Record · ID 1417910
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive