FORGE
Formalized Optimized Refactoring Guided by Explainable AI
7 followers
Formalized Optimized Refactoring Guided by Explainable AI
7 followers
FORGE is a VSCode extension that uses Llama 3 to refactor your Python code — then formally proves it's equivalent to the original using Z3, CrossHair, and runtime tests. Clean, bug-free refactoring with guarantees. AI + formal methods, finally.
