I forgot the link: https://github.com/billh0420/ClaimGPT250203.git
On Thursday, February 6, 2025 at 8:29:51 PM UTC-6 bil...@gmail.com 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). > > An example prompt and reply by the model is: > > You: <|start_claim|> <|given|> |- G : _om -1-1-onto-> Z <|given|> |- ( G : > _om -1-1-onto-> Z -> `' G : Z -1-1-onto-> _om ) <|given|> |- ( `' G : Z > -1-1-onto-> _om -> `' G : Z --> _om ) <|conclude|> Model: |- `' G : Z --> > _om <|end_claim|> > > It is just a start: there is no interface to 'chat'. It is more of a proof > of concept. > -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/metamath/1046f363-c3bc-4a9c-8f06-54c06457fc0dn%40googlegroups.com.
