Announcement_9

Happy to share that Neural Concept Verifier: Scaling Prover-Verifier Games Via Concept Encodings has been accepted at ICML 2025 Workshop on Actionable Interpretability! Grateful to collaborate with S. Asadulla, D. Steinmann, W. Stammer, and S. Pokutta on advancing interpretable AI through formal vericfiation methods.