Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: using AI in lean


RexWang (Dec 15 2022 at 09:12):

Hello everyone, I am a new member of the Lean community, and I am learning about the application of Lean combined with AI tools. I want to know how to use Lean to call these AI tools to reduce complex proofs.
Any suggestions? Thanks in advance!

Jason Rute (Dec 15 2022 at 09:41):

See the answers in your other thread: #general > automatic prover

Jason Rute (Dec 15 2022 at 09:42):

But if you are interested in building more tools, then feel free to look around this steam to see current research in this area.


Last updated: Dec 20 2023 at 11:08 UTC