Issues

• Connect and check the mathprompt Lean specification in CI

  enhancement
  sudoantonio/welfaregraph#7 · Filter by author sudoantonio opened on Aug 6, 2026

• Evaluate the prototype on an expert-annotated gold set

  enhancement
  sudoantonio/welfaregraph#6 · Filter by author sudoantonio opened on Aug 6, 2026

• Implement explainable ranking with human review

  enhancement
  sudoantonio/welfaregraph#5 · Filter by author sudoantonio opened on Aug 6, 2026

• Model a versioned territorial domain D3

  enhancement
  sudoantonio/welfaregraph#4 · Filter by author sudoantonio opened on Aug 6, 2026

• Replace deterministic fallbacks with explicit abstention states

  enhancement
  sudoantonio/welfaregraph#3 · Filter by author sudoantonio opened on Aug 6, 2026

• Attach page and quotation evidence to extracted answers

  enhancement
  sudoantonio/welfaregraph#2 · Filter by author sudoantonio opened on Aug 6, 2026

• Design and validate the simplified D2 entity questionnaire

  enhancement
  sudoantonio/welfaregraph#1 · Filter by author sudoantonio opened on Aug 6, 2026