Contact
SCML Managing Editors:
- Wolfgang Schreiner
- Temur Kutsia
- Wolfgang Windsteiger
Email: scml@risc.jku.at
Contents
News
December 15, 2025: SCML-2026 Call for Presentations
December 12, 2025: SCML Publication 1: Multilingual Autoformalization via Fine-tuning Large Language Models with Symbolically Generated Data
July 8, 2025: SCML goes public.