-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Formalize BY-010 Theorem 1.2 — the approximate fairness characterization (L)
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#60 In mbrcic/ai-safety-formalization-atlas;CT-13 — Add one Lean use-site over a shipped theorem (S, onboarding, one per contributor)
good first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#28 In mbrcic/ai-safety-formalization-atlas;CT-14 — Report a proof we don't have (S)
good first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#19 In mbrcic/ai-safety-formalization-atlas;CT-12 — Verify one citation against its source (S)
good first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#17 In mbrcic/ai-safety-formalization-atlas;CT-11 — Add a candidate lead to an uncovered registry row (S)
good first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#16 In mbrcic/ai-safety-formalization-atlas;Epic: formalize the survey's three original theorems (BY-042/043/044)
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In mbrcic/ai-safety-formalization-atlas;Formalize BY-042 — Unfairness of explainability (native)
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#14 In mbrcic/ai-safety-formalization-atlas;Formalize BY-043 — Misaligned embodiment (native)
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#13 In mbrcic/ai-safety-formalization-atlas;