Author

Ran Wei

h-index 1 View on Semantic Scholar

We have 3 of 4 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study

CAPRI, a contract-aware proof-repair tool, is used to govern a reconstruction by combining Isabelle acceptance with an independent check of repository changes against machine-readable edit contracts, and the reconstruction discharged all ten scoped obligations within the original nine-theory structure.

Jim Woodcock, Gabriel Leite, Augusto Sampaio et al. · 0 citations

Preprint Aug 2026

CAPRI: Contract-Aware Proof Repair for Isabelle

CAPRI is presented, a contract-aware repair workflow in which Isabelle checks the proof and an independent checker enforces a machine-readable edit contract, in which Isabelle checks the proof and an independent checker enforces a machine-readable edit contract.

Jim Woodcock, Gabriel Leite, Augusto Sampaio et al. · 1 citation

Jul 2026

Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models

RADIANT is an engineering methodology that combines MDE with Multi-Agent Large Language Models (LLMs) for complete model-based system development, with a focus on safety-critical systems and finds that the multi-agent decomposition reliably improves theSyntactic validity of the generated formal artefacts over a single-...

Ran Wei, Letian Zhu, Haochi Wang et al. · arXiv.org · 0 citations