Multi-instantons and exact results IV: Path integral formalism