Is there a paper/technical report?[ETA: No, no paper at this point]
I searched for it and found none. The twitter conversation also seems to imply that there has not been a paper / technical report out yet.
No, but these tweets describe the basic concept: extension of AlphaZero to train on theorems in Lean automatically converted from natural-language proofs.
Is there a paper/technical report?
[ETA: No, no paper at this point]
I searched for it and found none. The twitter conversation also seems to imply that there has not been a paper / technical report out yet.
No, but these tweets describe the basic concept: extension of AlphaZero to train on theorems in Lean automatically converted from natural-language proofs.