brasil
How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation
Fonte: arXiv — Inteligência Artificial · 28/10/2026arXiv:2610.36328v1 Announce Type: new Abstract: Benchmarks for verifiable code generation usually test a proof against one fixed implementation. We ask whether the same proof remains valid after a program refactoring that preserves behavior. We introduce RefactorProof, which derives 458 Lean-certified variants from the 185 VERINA tasks that compile in our pinned environment while holding the speci
Fonte: arXiv — Inteligência Artificial
Matérias da Blue Echo
O que é o CDI e por que ele importa para o seu dinheiro
Entenda o que o CDI mede, como ele aparece no rendimento de aplicações e quais cuidados ajudam a interpretar essa referência.
Selic em 09/10/2026: o que os dados mostram e o que falta confirmar
A meta da Selic informada é de 13,75% ao ano. Mas o material disponível não confirma uma decisão do Copom nessa data. Entenda o cenário de inflação e crédito sem confundir expectativa com anúncio.
JBS e MBRF ficam fora da alta eleitoral: entenda a análise
Segundo notícia da InfoMoney, o JPMorgan vê menos impulso das eleições para JBS e MBRF, mas mantém avaliação favorável com base nas condições do setor de carnes.