Haiming Wang

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.

Um novo framework junta aprendizado federado e modelos multimodais pra melhorar a privacidade e a performance.