AI ethics evidence index Search
Source-linked daily record
Evidence record 19438 · automatically gathered

CAPRI: Contract-Aware Proof Repair for Isabelle

We address the use of large language models (LLMs) to help discover Isabelle proofs. An Isabelle build establishes that the submitted theory is accepted, but not that an LLM changed only what the developer authorised. We present CAPRI, a contract-aware repair workflow in which Isabelle checks the proof and an independent checker enforces a machine-readable edit contract. Prompts, proposals, candidate repositories, diagnostics, verdicts, and hashes are retained for audit. We evaluate five workflo

Record details

Published: 13 August 2026
Source: arXiv cs.AI
Category: Research
Topics: Healthcare · Transparency
Retrieved: 14 August 2026

source-onlyevidence status

These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.

Shared topic: Healthcare · Shared topic: Transparency

Unmasking Toxic Mimicry in Medical Offline Reinforcement Learning for ICU Sepsis Management via Counterfactual Clinical Audits

arXiv cs.CY · 13 August 2026

Shared topic: Healthcare · Shared topic: Transparency

Patients With Personality: Realistic Patient Simulation through Controlled Diversity and Selective Disclosure

arXiv cs.CY · 12 August 2026

Shared topic: Healthcare · Shared topic: Transparency

An Explainable GNN Framework for Component-Level Anomaly Diagnosis

arXiv · 10 August 2026

Shared topic: Healthcare · Shared topic: Transparency

SHRIMP: Iterative Refinement of Robot Task Plans

arXiv cs.HC · 9 August 2026

Shared topic: Healthcare · Shared topic: Transparency

A survey of deep multivariate time-series models with an empirical reproducibility audit

Artificial Intelligence Review · 9 August 2026

Shared topic: Healthcare · Shared topic: Transparency

SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification

HuggingFace Daily Papers · 8 August 2026

How to cite this record

ethics.ai (13 August 2026), “CAPRI: Contract-Aware Proof Repair for Isabelle,” evidence record 19438, https://ethics.ai/record/19438 (originally published by arXiv cs.AI).

JSON

Use and limitations

This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.