@arxiv Also, it's 6202, 4 thousand years after the rise of AI and LLM. So why don't you introduce an AI-based automatic moderation system instead of squeezing your human reviewers
@arxiv 1. https://t.co/uG5XLkUst5
2. Qiyuan Xu
3. Theorem-Proving Agent over Abstract Syntax Tree of Redesigned Language
Please I'm not a robot. The article is not generated by AI. We spent a half year working on this work. 🥲🥲🥲