GitHub repository: thanhlecongg/FormalBench
Primary language: Python
Description: A Benchmark Dataset for Evaluating Program Semantic Reasoning Capabilities of LLMs via Formal Specification Inference