verificación de software
Todas las noticias con este tag.
Ver estadísticas de este tema
Noticias por hora
Últimas 24 horas · hora argentina
Consultar los valores por hora
| Hora | Noticias |
|---|---|
| 13 nov 2026, 12:00 p. m. | 0 |
| 13 nov 2026, 1:00 p. m. | 0 |
| 13 nov 2026, 2:00 p. m. | 0 |
| 13 nov 2026, 3:00 p. m. | 0 |
| 13 nov 2026, 4:00 p. m. | 0 |
| 13 nov 2026, 5:00 p. m. | 0 |
| 13 nov 2026, 6:00 p. m. | 0 |
| 13 nov 2026, 7:00 p. m. | 0 |
| 13 nov 2026, 8:00 p. m. | 0 |
| 13 nov 2026, 9:00 p. m. | 0 |
| 13 nov 2026, 10:00 p. m. | 0 |
| 13 nov 2026, 11:00 p. m. | 0 |
| 14 nov 2026, 12:00 a. m. | 0 |
| 14 nov 2026, 1:00 a. m. | 0 |
| 14 nov 2026, 2:00 a. m. | 0 |
| 14 nov 2026, 3:00 a. m. | 0 |
| 14 nov 2026, 4:00 a. m. | 0 |
| 14 nov 2026, 5:00 a. m. | 0 |
| 14 nov 2026, 6:00 a. m. | 0 |
| 14 nov 2026, 7:00 a. m. | 0 |
| 14 nov 2026, 8:00 a. m. | 0 |
| 14 nov 2026, 9:00 a. m. | 0 |
| 14 nov 2026, 10:00 a. m. | 0 |
| 14 nov 2026, 11:00 a. m. | 0 |
| 14 nov 2026, 12:00 p. m. | 0 |
Noticias por día
Últimos 30 días, incluido hoy · hora argentina
Consultar los valores por día
| Día | Noticias |
|---|---|
| 2026-10-16 | 0 |
| 2026-10-17 | 0 |
| 2026-10-18 | 0 |
| 2026-10-19 | 0 |
| 2026-10-20 | 0 |
| 2026-10-21 | 0 |
| 2026-10-22 | 0 |
| 2026-10-23 | 0 |
| 2026-10-24 | 0 |
| 2026-10-25 | 0 |
| 2026-10-26 | 0 |
| 2026-10-27 | 0 |
| 2026-10-28 | 0 |
| 2026-10-29 | 0 |
| 2026-10-30 | 0 |
| 2026-10-31 | 0 |
| 2026-11-01 | 0 |
| 2026-11-02 | 0 |
| 2026-11-03 | 0 |
| 2026-11-04 | 0 |
| 2026-11-05 | 0 |
| 2026-11-06 | 1 |
| 2026-11-07 | 0 |
| 2026-11-08 | 0 |
| 2026-11-09 | 0 |
| 2026-11-10 | 0 |
| 2026-11-11 | 0 |
| 2026-11-12 | 0 |
| 2026-11-13 | 1 |
| 2026-11-14 | 0 |
Los gráficos cuentan por fecha de publicación y respetan los filtros. El archivo incluye todo el histórico.
Noticias de verificación de software
2 noticias · De más nuevas a más antiguas.
arXiv Computer Science AIAgente de demostración de teoremas sobre árboles de sintaxis abstracta
Se aborda el problema de la escalabilidad de los agentes de prueba de teoremas basados en LLM, cuyo consumo de tokens y costo de API son obstáculos. Se propone el diseño Agent over AST (AoA) para mover el agente al árbol de sintaxis abstracta (AST), lo que reduce el costo de API, el consumo de tokens y las llamadas a herramientas, además de resolver más problemas en el benchmark de verificación.
SeVerus: Evaluación Gamificada y Contexto para la Verificación de Rust
Se presenta SEVERUS, una técnica consciente del contexto para generar benchmarks de Verus que organiza las tareas de verificación en misiones gamificadas. Esta técnica utiliza dependencias de prueba para crear niveles progresivos, desafiando a agentes de codificación con diferentes niveles de dificultad. Los experimentos demuestran que la retirada del contexto de la prueba afecta el éxito y el costo de los agentes.