lean-dojo/LeanInfer

This is stars and forks stats for /lean-dojo/LeanInfer repository. As of 05 May, 2024 this repository has 27 stars and 1 forks.

LeanInfer: Native Neural Network Inference in Lean 4 LeanInfer provides tactic suggestions by running LLMs through Lean's foreign function interface (FFI). It is in an early stage of development. In the long term, we aim to integrate Lean and machine learning by providing a general and efficient way to run the inference of neural networks in Lean. The network can be of arbitrary model architectures and trained using arbitrary deep learning frameworks. After training, it is converted into the ONNX...