Math-for-AI-Safety / MAIS

Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward

cplusplus / draft

C++ standards drafts

sakhadib / IUT-Thesis-Skill-for-AI

Reusable AI-agent skill for drafting, expanding, revising, and maintaining an Islamic University of Technology BSc thesis