> On Feb 6, 2025, at 9:29 PM, [email protected] <[email protected]> wrote: > > I started a GitHub repository for an AI Generative Pretrained Transformer > model for Metamath. It is base on a youtube video by Andrej Karpathy > (Building makemore Part 2: MLP). Awesome! I've added a link to it from this page: https://github.com/metamath/set.mm/wiki/Automated-proving --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/4C1F77BF-ECDF-445D-BBF5-A1D3550AB8F2%40dwheeler.com.
Re: [Metamath] AI Generative Pretrained Transformer model for Metamath: GitHub
'David A. Wheeler' via Metamath Fri, 07 Feb 2025 08:10:33 -0800
- [Metamath] AI Generative Pretrained Transf... [email protected]
- [Metamath] Re: AI Generative Pretrain... [email protected]
- Re: [Metamath] AI Generative Pretrain... 'David A. Wheeler' via Metamath
- Re: [Metamath] AI Generative Pret... [email protected]
- Re: [Metamath] AI Generative ... 'David A. Wheeler' via Metamath
- Re: [Metamath] AI Generative ... Glauco
- Re: [Metamath] AI Generative ... Caleb Nwokocha
