Small Models, Big Solutions: How MIT's DisCIPL Framework Is Revolutionizing AI Reasoning Large language models (LLMs) like ChatGPT often capture headlines for their advanced abilities, but they can stumble when it comes to challenging reasoning tasks that demand strict rule-following. At ... AI reasoning collaborative AI constraint solving efficiency language models LLMs machine learning MIT CSAIL