Используется ли математическая логика в современной компьютерной лингвистике?

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