Ushin Engine — система автоматизированной проверки математических решений с использованием LLM и формальных рубрик.
Project in early development