The article reviews the comparative legal aspects of using artificial intelligence (AI) technologies to automatically verify the compliance of procedural documents (statements of claim, complaints, petitions) submitted to the court with the formal requirements established by procedural law. Particular attention is paid to formal requirements that can be verified algorithmically (availability of necessary details, appendices, compliance with deadlines, payment of state duties). The article compares foreign practices of implementing automatic verification systems in e-justice (USA, UK, China) and Russian developments within the framework of the Justice state automated system and the Arbitrator system.