Author

Mohamed El Louadi

h-index 2 View on Semantic Scholar

We have 2 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Sep 2026

Calculated inefficiency: sustaining human supervisory competence as an ethical design objective for hybrid human-AI systems

The construct of calculated inefficiency is developed, defined as the structural property of a hybrid information system in which human interventions in automatable processes are maintained at levels above what pure efficiency optimisation would select, regardless of whether that maintenance was deliberately architecte...

Mohamed El Louadi, Maher Kallel · AI and Ethics · 0 citations

#artificial intelligence Preprint Aug 2026

Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free

It is argued that machine checking produces verification abundance while leaving adjudication scarce, and proposes a six-category taxonomy of representational mismatch, a disclosure schema for machine-generated mathematical claims, and implications for software, cryptography, and regulated decision systems.

Maher Kallel, Mohamed El Louadi · 0 citations