Verina
Emerging3papers using it
2025first seen
VERINA is a benchmark dataset used to evaluate the performance of formal specification synthesis methods, specifically in generating intent-aligned specifications from natural language requirements.
VERINA is a benchmark dataset used to evaluate the performance of formal specification synthesis methods, specifically in generating intent-aligned specifications from natural language requirements.