В статье рассматриваются сравнительно-правовые аспекты использования технологий искусственного интеллекта (ИИ) для автоматической проверки соответствия подаваемых в суд процессуальных документов (исковых заявлений, жалоб, ходатайств) формальным требованиям, установленным процессуальным законодательством. Особое внимание уделено формальным требованиям, которые могут быть проверены алгоритмически (наличие необходимых реквизитов, приложений, соблюдение сроков, уплата государственной пошлины). Сравниваются зарубежные практики внедрения систем автоматической проверки в электронное правосудие (США, Великобритания, Китай) и российские разработки в рамках ГАС «Правосудие» и системы «Мой арбитр».