Zhengying Liu

Pesquisas mostram novos métodos pra melhorar a prova de teoremas usando grandes modelos de linguagem.

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.