И.В. Нетай, Автоматическая оценка точности вычислений с плавающей точкой

На семинаре разберём, откуда появляются ошибки вычислений, как они влияют на результаты, в чём причины и каковы последствия этих ошибок. В докладе будет представлен метод на базе элементов тропической геометрии, позволяющий не влияя на сами вычисления, иметь оценку их достоверности. В случае малого объёма вычислений это позволяет своевременно узнавать об ошибках и не делать выводы на основе заведомо ошибочных вычислений. В случае большого объёма вычислений, таких, например, как обучение нейронных сетей, это позволяет своевременно останавливать обучение заведомо потерявшей значимость модели. Также при обучении модели с контролем точности это позволит избежать заведомо недостоверного применения модели в конкретном случае. Также мы разберём некоторые детали реализации и доступный на данный момент функционал.