Chong Ruan

A pesquisa melhora a geração de dados pra validar provas matemáticas usando IA.

2025-08-08T01:42:06+00:00 ― 6 min ler

A pesquisa sobre árvores de busca de provas melhora os métodos de prova automática de teoremas.

2025-06-27T10:13:12+00:00 ― 7 min ler

DeepSeek-VL2 junta dados visuais e de texto pra interações de IA mais inteligentes.

2025-03-12T02:24:27+00:00 ― 6 min ler