And here I am trying to get an LLM to add types to a 100k line Ruby repository for 2 days, and it's not going so hot...
I have some experience in this. Reach out (email in my bio) I would love to chat.
A SMT solver may work better.
I have some experience in this. Reach out (email in my bio) I would love to chat.