Zhicheng Yang

Novos benchmarks têm como objetivo melhorar as habilidades de geração de teoremas dos modelos para raciocínio automatizado.

A POETRY melhora a eficiência da prova de teoremas com sua abordagem recursiva.

Novos métodos e referências visam simplificar a formalização da matemática através do Lean 4.

Novo método melhora a comunicação entre médicos e pacientes usando texto e imagens.

Pesquisadores encontram maneiras de melhorar como modelos de linguagem grandes expressam seu conhecimento.