Badacze zaproponowali nową metodę poprawiającą zdolność rozumowania dużych modeli językowych poprzez strukturalne łączenie trzech typów logicznego wnioskowania z matematycznymi niezmiennikami algebrai