Math AI Tutor
Tutor educacional de Matemática e Física com modelos da OpenAI, respostas passo a passo, detecção de assunto e memória curta de conversa.
Vitrine técnica
Trabalhos que conectam a trajetória do Lattes a implementações reais: produção técnica, aplicações com IA, provas simbólicas, apresentações acadêmicas, experimentos de otimização e jogos estáticos.
Tutor educacional de Matemática e Física com modelos da OpenAI, respostas passo a passo, detecção de assunto e memória curta de conversa.
Produção técnica registrada no Lattes: um sintetizador que aproxima séries de Fourier, notas musicais e programação em Python.
Projeto associado à apresentação sobre otimização do fluxo de dados em redes ad hoc com múltiplos caminhos, usando heurísticas evolutivas.
Coleção de minijogos de palavras em português para jogar a dois, incluindo Termooo, Contexto e Conexo, em uma aplicação estática sem backend.
Provador simbólico inspirado no General Problem Solver, com passos legíveis para lógica proposicional e esquemas de análise real.