Differentiable Optimization in Plane-Wave Density Functional Theory for Solid States | AMiner