Новый квантовый алгоритм позволяет эффективно моделировать термодинамические процессы в квантовых системах при конечных температурах, открывая перспективы для изучения сложных физических явлений.
В статье представлена реализация вычислительных правил для обеспечения уникальности доказательств тождеств в кубической теории типов.
Исследователи представили инновационную систему, позволяющую автомобилям с автопилотом обучаться на симулированных сценариях и адаптироваться к неожиданным ситуациям в реальном времени.
В новой работе исследуется, как классификация логических предикатов по критерию ‘полезности обещаний’ позволяет выявлять условия, при которых задачи поиска решений становятся вычислительно простыми.
Исследование показывает, что стандартные методы оценки производительности языковых моделей могут быть неточными и непоследовательными, требуя более комплексного подхода.
В статье представлен RIA — унифицированный алгоритм, объединяющий ранжирование и переранжирование для повышения точности предсказания CTR в рекомендательных системах.
Новое исследование показывает, что высокая точность методов восстановления пропущенных значений не гарантирует адекватную оценку неопределенности результатов.
Новый подход к динамическому выбору шаблонов позволяет снизить стоимость работы с большими языковыми моделями, не жертвуя качеством генерируемого текста.
Новый подход к построению предварителей алгебраической многосеточной схемы позволяет существенно повысить скорость решения систем линейных уравнений, возникающих при дискретизации эллиптических уравнений методом изогометрического анализа.
Новая разработка позволяет преобразовывать текстовые запросы врачей в SQL-запросы для работы с данными электронных медицинских карт, объединяя текстовую и табличную информацию.