1. Forum
  2. Usenet
  3. SCI.LOGIC

  • DC Proof or Llemma?

    From Mild Shock@21:1/5 to All on Fri Oct 20 23:06:43 2023
    Sumthing with free text input?

    Llemma: An Open Language Model For Mathematics
    https://arxiv.org/abs/2310.10631

    Kind of ChatGPT for Math?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to Mild Shock on Fri Oct 20 23:08:27 2023
    By way of this group, picked up the link there:

    FriCAS - computer algebra system
    https://groups.google.com/g/fricas-devel

    Mild Shock schrieb:

    Sumthing with free text input?

    Llemma: An Open Language Model For Mathematics https://arxiv.org/abs/2310.10631

    Kind of ChatGPT for Math?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)