arXiv (All)
open access
Trust the Spec, Not the Code - A Specification-First, AI-Assisted Case Study in Online Banking
Formal specification promises early error detection, explicit invariants, and correctness by design, yet its notational cost has kept it out of mainstream practice. We argue that AI removes much of that cost: natural language enriched with lightweight mathematics, written in \LaTeX, can serve as an
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
- AI-Powered Symptom Assessment and User Experience: A Case Study of Simtomi and Simtomi-Care#1142789
- Effect Systems as Abstract Interpretations#1034747
- Explanation-Bound Tool Execution for AI Agents: Server-Verified Action Claims Without Trusting Model Rationales#1035571
- FineVerify: Scaling Test-Time Compute with Fine-Grained Self-Verification for Agentic Search#820487
- The Problem of Atypicality in LLM-Powered Psychiatry#72069
Record · ID 984292
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