0art0/lean3-statement-translation-tool

This is stars and forks stats for /0art0/lean3-statement-translation-tool repository. As of 07 May, 2024 this repository has 7 stars and 0 forks.

Lean3 Statement Translation tool A tool for automatic formalisation of natural language theorem statements to Lean3 code using OpenAI Codex. This is a part of LeanAide, which contains an autoformalisation tool using Lean4, among other things. A similar (but unrelated) tool also using OpenAI Codex for theorem statement autoformalisation is Lean Chat. Demonstration Details The tool works best on short and self-contained theorem statements, similar to the theorem doc-strings in mathlib. The translation...