HLE-Verified: A Systematic Verification and Structured Re... | ResearchHub