We are excited to announce the publication of our new paper, dataset, and accompanying code: On Writing SMT-LIB Scripts: Metrics and a New Dataset presented at SMT 2025
In this work, we introduce FMPsmt, a new dataset of SMT-LIB Scripts authored on our Formal Methods Playground.
📁 What We’re Releasing
📄 Paper:
Soaibuzzaman, J.O. Ringert. On Writing SMT-LIB Scripts: Metrics and a New Dataset. International Workshop on Satisfiability Modulo Theories. SMT 2025. CEUR 4008, pp. 91–102, 2025.
🗃️ Dataset:
Formal Methods Playground SMT Dataset 🔗 Zenodo: https://zenodo.org/records/15488371
💻 Code & Metrics:
Includes all scripts for edit path analysis and data processing. 🔗 GitHub: https://github.com/se-buw/smt-metrics
