using AI in lean

Stream: Machine Learning for Theorem Proving

[RexWang]

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]

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

[Jason Rute]

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