2026-07-21T20:03:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26788 2026-07-09T11:31:08Z ddc:004 open_access

A Rational Defense of Reasonable Reflection (Invited Paper) Amin, Nada reflection verification AI Computational reflection is the ability of a system to inspect and modify itself. It has resisted static reasoning, especially in reflective languages, where semantics can change during program execution. We argue that reflection should be revisited in light of progress in verification and large language models. By requiring reflective modifications to carry proofs, it becomes possible to prove system properties even for reflective systems. This "reasonable reflection" could open up new ways of organizing self-improving systems. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nada Amin 2026 Is Part Of LIPIcs, Volume 380, 41st Annual Symposium on Logic in Computer Science (LICS 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.LICS.2026.1 urn:nbn:de:0030-drops-267884 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.1 eng https://creativecommons.org/licenses/by/4.0/legalcode