lean-ja
Replies: 1 comment 1 reply
-
|
内部的にはこれはLeanDojoが公開している事前学習済みモデルを使って推論している感じなんでしょうか？ |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learning-for-Theorem-Proving/topic/LeanInfer.3A.20Neural.20Network.20Inference.20in.20Lean.204/near/390051184 |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
https://github.com/lean-dojo/LeanInfer
タクティクを自動で提案してくれるツールのようです
Beta Was this translation helpful? Give feedback.
All reactions