Spectrum of FO logic with quantifier depth 4 is finite

Аннотация

The k-spectrum is the set of all α > 0 such that G(n,n−α) does not obey the 0-1 law for FO sentences with quantifier depth at most k. In this article, we prove that the minimum k such that the k-spectrum is infinite equals 5.

Читать в источнике Cкачать pdf

Anatomical Position Embeddings

Михаил Гончаров, Валентин Самохин, Евгения Соболева, Роман Соколов, Борис Широких , Михаил Беляев, Анвар Курмуков, Иван Оселедец

Читать источник

Self-Attentive Sequential Recommendations with Hyperbolic Representations

Евгений Фролов, Татьяна Матвеева, Leyla Mirvakhabova, Иван Оселедец

Читать источник

General Lipschitz: Certified Robustness Against Resolvable Semantic Transformations via Transformation-Dependent Randomized Smoothing

Дмитрий Корж, Михаил Паутов, Ольга Цымбой, Иван Оселедец

Читать источник

A case study of spatiotemporal forecasting techniques for weather forecasting

Shakir Showkat Sofi, Иван Оселедец

Читать источник

RECE: Reduced Cross-Entropy Loss for Large-Catalogue Sequential Recommenders

Данил Гусак, Глеб Мезенцев, Иван Оселедец, Евгений Фролов

Читать источник

SparseGrad: A Selective Method for Efficient Fine-tuning of MLP Layers

Виктория Чекалина, Анна Руденко, Глеб Мезенцев, Александр Михалев, Александр Панченко, Иван Оселедец

Читать источник

A perspective on the artificial intelligence's transformative role in advancing diffractive optics

Светлана Хонина, Николай Казанский, Альберт Ефимов, Артем Никоноров, Иван Оселедец, Роман Скиданов, M.A. Butt

Читать источник

Spectrum of FO logic with quantifier depth 4 is finite

Аннотация

Похожие публикации