Semi-structured LLM Reasoners Can Be Rigorously Audited

Open in new window