OpenJML

OpenJML is a benchmark that contains a comprehensive set of Java programs used to evaluate the effectiveness of loop invariant generation methods in automated program verification.

Papers using OpenJML (5)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning2025Pre-Hoc Predictions in AutoML: Leveraging LLMs to Enhance Model Selection and Benchmarking for Tabular datasets2025An ADMM Based Framework for AutoML Pipeline Configuration2019 · 10 citesCan AutoML outperform humans? An evaluation on popular OpenML datasets using AutoML Benchmark2020Integrating Hyperparameter Search into Model-Free AutoML with Context-Free Grammars2024