ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

Value Capture and the Structure of AI Alignment: A Case for Rule-Based Approaches

Time: Thursday, 29.10

Room: Room 1

Authors: Andre Steingrüber, Kevin Baum