Case study: reason for rejection (Codex solve-run on formal-ai #645) + low-reasoning warning#2049
Open
konard wants to merge 7 commits into
Open
Case study: reason for rejection (Codex solve-run on formal-ai #645) + low-reasoning warning#2049konard wants to merge 7 commits into
konard wants to merge 7 commits into
