Research author

Ran Wei

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Ran Wei

Aug 13, 2026
cs.SE

CAPRI: Contract-Aware Proof Repair for Isabelle

Jim Woodcock, Gabriel Leite, Augusto Sampaio, et al.

Jul 14, 2026
cs.CL

PalmClaw: A Native On-Device Agent Framework for Mobile Phones

Hongru Cai, Yongqi Li, Ran Wei, et al.

11
Ran Wei — AI Research Papers | One9Founders