我正在对包含要解决的稀疏非对称线性系统的函数使用自动微分。我正在使用BiCGStab解决这部分功能，但注意到通过 BiCGStab 进行的自动微分产生的导数在某些情况下是发散的。是否有使用自动微分证明收敛的迭代线性求解器？