llm-baseline

本文提出了一种循环一致的神经架构，能生成形式验证证书的忠实自然语言解释，正确性达到90%，推理速度比LLM基线快860倍。