← back to authors

Christophe Yeche

🔕 sledovat

1 papers · first: 2026-07-07 · last: 2026-07-07

1
Papers
0.0
Max score
0.0
Avg score
Max AD (0 relevant)

📄 Papers

Executable verification through formalized expert reasoning in astronomical spectroscopy
8.1
⭐

astro-ph.CO · 2026-07-07

FORMA je protokol pro automatizovanou verifikaci vědeckých závěrů, který formalizuje expertní uvažování v astronomické spektroskopii. Protokol extrahuje důkazy, generuje hypotézy pod fyzikálními omezeními a provádí auditovatelné kontroly konzistence,