fix: ortografia portugues brasileiro — acentos, cedilhas, pontuacao corrigidos

- Resumo reescrito com acentuacao correta (avaliacao->avaliacao, etc.)
- Cedilhas corrigidas (\c{c}) para palavras como 'conclusao'
- Acentos agudos, circunflexos, til aplicados conforme norma culta
- 132 paginas, 0 overfull

Author: MarceloClaro

artigo/dissertacao_cora_eval_abnt.pdf

@@ -39,44 +39,44 @@
 \maketitle
 
 \begin{abstract}
-\noindent\textbf{Contexto e Problema.} A avaliacao objetiva da capacidade de
-raciocinio cientifico em sistemas multiagente de inteligencia artificial
-constitui um dos desafios metodologicos centrais da computacao cientifica
-contemporanea. Embora a ultima decada tenha produzido benchmarks notaveis como
-o MATH (Hendrycks et al., 2021), com 12.500 problemas matematicos, e o GSM8K
-(Cobbe et al., 2021), com 8.500 problemas aritmeticos, persiste uma lacuna
-fundamental: inexistem metricas que capturem a maturidade cientifica integrada.
+\noindent\textbf{Contexto e Problema.} A avalia{\c c}{\~a}o objetiva da capacidade de
+racioc{\'\i}nio cient{\'\i}fico em sistemas multiagente de intelig{\^e}ncia artificial
+constitui um dos desafios metodol{\'o}gicos centrais da computa{\c c}{\~a}o cient{\'\i}fica
+contempor{\^a}nea. Embora a {\'u}ltima d{\'e}cada tenha produzido benchmarks not{\'a}veis como
+o MATH (Hendrycks et al., 2021), com 12.500 problemas matem{\'a}ticos, e o GSM8K
+(Cobbe et al., 2021), com 8.500 problemas aritm{\'e}ticos, persiste uma lacuna
+fundamental: inexistem m{\'e}tricas que capturem a maturidade cient{\'\i}fica integrada.
 
 O OpenCode Ecosystem integra 125 agentes especializados, 106 skills, 41
-servidores MCP e 212 tipos de raciocinio, com 7 verificadores simbolicos
-Cora-Debate (V1--V7) calibrados com 466 testes e F1 medio de 95,5\%.
-
-\textbf{Metodo.} A validacao emprega triangulacao metodologica: verificacao
-simbolica Cora V1--V7, 18 suites TDD, e validacao externa contra 42 problemas
-do Project Euler e Rosalind com verificacao automatica pelas plataformas
-(correto/erro binario, nao por revisores humanos). O CORA-Eval estrutura a
-avaliacao em 10 dimensoes e 4 niveis (Basico a Pesquisa), totalizando 150
-tarefas. A calibracao dos verificadores utilizou 466 testes com erros
+servidores MCP e 212 tipos de racioc{\'\i}nio, com 7 verificadores simb{\'o}licos
+Cora-Debate (V1--V7) calibrados com 466 testes e F1 m{\'e}dio de 95,5\%.
+
+\textbf{M{\'e}todo.} A valida{\c c}{\~a}o emprega triangula{\c c}{\~a}o metodol{\'o}gica: verifica{\c c}{\~a}o
+simb{\'o}lica Cora V1--V7, 18 su{\'\i}tes TDD, e valida{\c c}{\~a}o externa contra 42 problemas
+do Project Euler e Rosalind com verifica{\c c}{\~a}o autom{\'a}tica pelas plataformas
+(correto/erro bin{\'a}rio, n{\~a}o por revisores humanos). O CORA-Eval estrutura a
+avalia{\c c}{\~a}o em 10 dimens{\~o}es e 4 n{\'\i}veis (B{\'a}sico a Pesquisa), totalizando 150
+tarefas. A calibra{\c c}{\~a}o dos verificadores utilizou 466 testes com erros
 conhecidos injetados.
 
-\textbf{Resultados.} CORA-Score bruto 3,04 (ajustado 2,59 pela confianca,
-penalizando 8/10 dimensoes sem validacao externa). Validacao cega: 42/42
+\textbf{Resultados.} CORA-Score bruto 3,04 (ajustado 2,59 pela confian{\c c}a,
+penalizando 8/10 dimens{\~o}es sem valida{\c c}{\~a}o externa). Valida{\c c}{\~a}o cega: 42/42
 problemas (30 Project Euler + 12 Rosalind, 100\%). Bootstrap IC 95\% =
 [2,65; 3,39], t = 198,6 contra H0: score = 2,50 (p < 0,001). Cross-validation
-K=10 com CV = 2,2\%. Calibracao dos 7 verificadores: F1 medio = 95,5\%
-(466 testes). Vies de selecao documentado: r(GT, score) = 0,78. Nota
-estimada pelo perfil do revisor senior: 94/100.
+K=10 com CV = 2,2\%. Calibra{\c c}{\~a}o dos 7 verificadores: F1 m{\'e}dio = 95,5\%
+(466 testes). Vi{\'e}s de sele{\c c}{\~a}o documentado: r(GT, score) = 0,78. Nota
+estimada pelo perfil do revisor s{\^e}nior: 94/100.
 
-\textbf{Conclusao.} O ecossistema demonstrou capacidade de raciocinio avancado
-em benchmark proprio. A transparencia sobre limitacoes --- score ajustado,
-vies de selecao, calibracao parcial, reproducao pendente por terceiros,
-generalizacao nao testada, 8/10 dimensoes com apenas validacao interna ---
-e parte integrante da contribuicao metodologica. Documento auto-publicado,
-sem revisao por pares.
+\textbf{Conclus{\~a}o.} O ecossistema demonstrou capacidade de racioc{\'\i}nio avan{\c c}ado
+em benchmark pr{\'o}prio. A transpar{\^e}ncia sobre limita{\c c}{\~o}es --- score ajustado,
+vi{\'e}s de sele{\c c}{\~a}o, calibra{\c c}{\~a}o parcial, reprodu{\c c}{\~a}o pendente por terceiros,
+generaliza{\c c}{\~a}o n{\~a}o testada, 8/10 dimens{\~o}es com apenas valida{\c c}{\~a}o interna ---
+{\'e} parte integrante da contribui{\c c}{\~a}o metodol{\'o}gica. Documento auto-publicado,
+sem revis{\~a}o por pares.
 
 \vspace{6pt}
-\noindent\textbf{Palavras-chave:} benchmark cientifico, verificacao simbolica,
-raciocinio multiagente, CORA-Debate, OpenCode Ecosystem, calibracao de
+\noindent\textbf{Palavras-chave:} benchmark cient{\'\i}fico, verifica{\c c}{\~a}o simb{\'o}lica,
+racioc{\'\i}nio multiagente, CORA-Debate, OpenCode Ecosystem, calibra{\c c}{\~a}o de
 verificadores, Geometric Arbitrage Theory, Project Euler, Rosalind, TDD.
 \end{abstract}