SWE-bench Verified Mini (HAL) — leaderboard

HAL's cost-aware agent leaderboard for the SWE-bench Verified Mini software engineering subset.

Source: hal.cs.princeton.edu.

Interactive version: theaggregate.ai/benchmark?slug=swe-bench-verified-mini-hal · How the rankings work · Data refreshed daily, snapshot 2026-07-22.