3 papers
cs.SE2026
VeriPy Source-Preserving Verification and Compatibility Checking for Python Components
Naing Oo Lwin
Keeping a Python program and its formal guarantees aligned is a continuing maintenance problem. Specifications must describe the implementation that actually runs, and updates must…
cs.SE2026
FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification
Naing Oo Lwin
Coding agents increasingly automate Lean proof development, but successful compilation alone does not establish that a candidate proves the intended statement under acceptable assu…
cs.SE2026
Deterministic vs. LLM-Controlled Orchestration for COBOL-to-Python Modernization
Naing Oo Lwin, Rajesh Kumar
Modernizing legacy COBOL systems remains difficult due to scarce expertise, large and long-lived codebases, and strict correctness requirements. Recent large language model (LLM)-b…