How is lean currently being used for AI?

Stream: new members

[Austin Hatfield]

Hello I am brand new here :) Is there a comprehensive document overviewing how lean is currently being used for AI along with specific examples? (I'm mainly curious about RL applications)

[Alfredo Moreira-Rosa]

You can take insight from alphaProof team papers and videos :
https://www.youtube.com/watch?v=TFBzP78Jp6A
https://www.youtube.com/watch?v=G1723fqlumE

[Chris Bailey]

This is a big topic, there's a dedicated stream for machine learning: #Machine Learning for Theorem Proving

[Austin Hatfield]

Thank you this is very helpful I appreciate it!