Read next because Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory overlaps with clean result "Language-mismatch LoRA SFT on Qwen2.5-7B leaks the trained completion language into bystander directives the model was never trained on, absent under same-language SFT (LOW confidence)", experiment "Can capability be taught through another persona?", experiment "Language-mismatch LoRA SFT on Qwen2.5-7B leaks the trained completion language into bystander directives the model was never trained on, absent under same-language SFT (LOW confidence)". Matching terms: under, capability, language, model. Source: arxiv cs.AI (Artificial Intelligence).