THEMIS Workflow Records Requirement-to-Repair Traces for LLM Program Repair
A new arXiv paper introduces THEMIS, a staged workflow for repairing code in repositories using large language models. The system publishes observable traces that document how issue requirements are turned into edits, along with evidence collected after those edits. The authors argue such inspectable records are needed alongside correct patches for repository-level repair.