QEncodeBench - Vertex Cover: leaderboard
Metric: Semantic pass@1 (%; L3 gate, vertex cover (edges covered with at most k vertices, needs a counter), 70 instances of the core set; the model writes a Qiskit build_oracle function in one shot and the verifier decides full solution-set equivalence up to a global phase by exhaustive simulation, with ancillas restored and a measurement-free unitary circuit; pass@1, one attempt per instance (five samples at temperature 0.7 for the non-reasoning DeepSeek-V4-Flash row)). Source: arxiv.org. Saturation forecast: Around December 2026. 13 models tracked.
Top models
Interactive version: theaggregate.ai/benchmark?slug=qencodebench-vertex-cover · How It Works · Data refreshed daily, snapshot 2026-09-26.