I've updated the Project Ideas page to add the project I worked on a few years ago: Improve the Lark LaTeX parser <https://github.com/sympy/sympy/wiki/GSoC-Ideas#improve-the-lark-based-latex-parser>
I'm not sure if I will have the time to be a full-fledged mentor, but I will certainly be able to review PRs in this area. Tirthankar Mazumder On Friday, January 23, 2026 at 11:10:11 PM UTC+5:30 [email protected] wrote: > OK, I've simplified the AI policy to just "No AI used for the > application". > https://github.com/sympy/sympy/wiki/GSoC-Application-Template#ai-policy > > Aaron Meurer > > On Thu, Jan 22, 2026 at 6:50 PM Oscar Benjamin > <[email protected]> wrote: > > > > On Thu, 22 Jan 2026 at 17:48, Aaron Meurer <[email protected]> wrote: > > > My > > > suggestion would be to have a policy that LLMs are not allowed to be > > > used when writing the application, except for use for > > > translation/cleaning up the grammar of the text. > > > > I don't think that we should list any exceptions like that. The > > reality is that if I am ranking applications then anything that > > remotely looks like the output of an LLM will be straight in the bin. > > It might be that they did not use an LLM but just wrote something that > > resembles an LLM: it will still be in the bin. I don't think we should > > allow anyone to be confused about that. > > > > -- > > Oscar > > > > -- > > You received this message because you are subscribed to the Google > Groups "sympy" 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/sympy/CAHVvXxS_VNrJbPS_EKLyP%2BGiP7NN5zLYM7LJmHhrbx%2B0r-0k8A%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sympy" 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/sympy/7a681a13-c8bf-4ae0-b999-75b06b0b0156n%40googlegroups.com.
