FormalGrad: Integrating Formal Methods with Gradient-Based LLM Refinement