Shizhe Diao

Analisando a troca entre ajustar detalhes e manter habilidades gerais em modelos de IA.

Um novo método melhora modelos de linguagem de código através de casos de teste eficazes e aprendizado de preferências.

Uma estrutura para melhorar a prova de teoremas usando Lean4 e modelos de linguagem.

Um método pra encolher modelos de linguagem sem perder a eficácia, usando poda e destilação.

Essa pesquisa apresenta um novo método para LLMs resolverem problemas de gráfico usando código.

Pesquisadores melhoram modelos de linguagem para raciocínio matemático complexo.