Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Jing-Jie Lu

View on Semantic Scholar

1 paper indexed here

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.

#natural language process... Preprint Sep 2026

From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance

The Provable Representation Of Original Functionality (PROOF) is introduced, which manages codebases indirectly via structured specifications via structured specifications to enable full-lifecycle codebase management strictly through these specifications.

XinHao Zhang, Jing-Jie Lu, Kun-Peng Liu et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.