solver-hard-is-not-model-hard/CITATION.cff at main · lucky-verma/solver-hard-is-not-model-hard · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
cff-version: 1.2.0
type: software
message: "If you use this code or artifact bundle, please cite the associated paper."
title: "Solver-Hard Is Not Model-Hard: Reproducibility Artifact"
authors:
  - family-names: "Verma"
    given-names: "Lucky"
    affiliation: "Independent Researcher"
date-released: "2026-07-18"
version: "1.0.0"
repository-code: "https://github.com/lucky-verma/solver-hard-is-not-model-hard"
url: "https://github.com/lucky-verma/solver-hard-is-not-model-hard"
license: Apache-2.0
abstract: >-
  Synthetic instances, derived model-evaluation measurements, solver receipts,
  statistical analyses, and figure scripts for a hardness-controlled diagnostic
  of LLM constraint reasoning.
keywords:
  - "LLM evaluation"
  - "constraint reasoning"
  - "SAT"
  - "proof complexity"
  - "reproducibility"
preferred-citation:
  type: article
  title: "Solver-Hard Is Not Model-Hard: A Hardness-Controlled Diagnostic for LLM Constraint Reasoning"
  authors:
    - family-names: "Verma"
      given-names: "Lucky"
      affiliation: "Independent Researcher"
  year: 2026