Projects

Selected work

Grouped by what the work actually is. Research and evaluation first; engineering described as engineering. Each entry states the problem, the contribution, how it was evaluated, and where it falls short.

Research and evaluation

Work on reasoning, proof auditing, and evaluation methodology.

Work in progressResearch and evaluation2026 –

PremiseGuard

Detecting Unsupported Load-Bearing Claims in Mathematical Proofs

Problem: A proof can silently depend on a nontrivial claim that was never established under the stated assumptions, and read as entirely convincing.
Contribution: An annotation scheme and task definition that separate unsupported load-bearing claims from ordinary errors and from acceptable compressed reasoning.
Role: Independent researcher

Proof auditingBenchmark designEvaluation methodology

Multilingual and educational AI

Systems for African languages and for mathematics and science learning.

CompletedMultilingual and educational AI2023

AfroXLMR NER

Named entity recognition for 21 African languages

Problem: Named entity recognition is well served for major languages and largely unavailable as usable tooling for African ones.
Contribution: A Python application that runs entity extraction over text and PDF input for 21 African languages, built on the Masakhane AfroXLMR NER model.
Role: Co-author — application development and evaluation · with Alain Ogou

PythonTransformersNERAfrican languages

CompletedMultilingual and educational AI2025

GandaLab / SymLab

An interactive mathematics and science learning environment

Problem: Abstract mathematical and scientific concepts are difficult to build intuition for when students never get to vary them and watch what happens.
Contribution: An interactive learning environment pairing video and simulation with an AI tutor that answers from the material and generates comprehension checks tied to specific source timestamps.
Role: Co-creator and lead developer · Team project — hackathon build

EducationInteractive learningAI tutoring

CompletedMultilingual and educational AI2025

Hakili

A French-language digital literacy platform

Problem: Digital literacy material on misinformation, deepfakes, and online safety is scarce in French for West African audiences.
Contribution: A conversational learning platform combining structured French course modules with an assistant that discusses a submitted link's credibility rather than pronouncing a verdict on it.
Role: Full-stack engineer · Team project

Next.jsConversational AIDigital literacy

Selected engineering work

Systems built to ship, described as engineering rather than research.

ArchivedSelected engineering work2025

CVBABA

Multilingual résumé and cover-letter generation

Problem: Producing a résumé that is both correctly formatted and appropriate to a target language is tedious, and general-purpose models handle the layout half badly.
Contribution: A multi-step generation workflow separating content extraction from layout, so document structure stays stable across output languages and templates.
Role: Founding AI/ML engineer · Team project

PythonNLPDocument generation

OngoingSelected engineering work2024 –

OpenInk

The publishing system behind this site

Problem: Personal research sites tend to force a choice between a heavyweight CMS and a static pipeline that is tedious to write against.
Contribution: An open-source Next.js site that reads long-form content from Notion, keeping writing separate from deployment.
Role: Author

Next.jsTypeScriptNotion API

Earlier product work

Earlier work kept on the record.

ArchivedEarlier product work2024

Subtle Reply

Product-discovery tooling for community forums

Problem: Teams wanted to find forum discussions where their product was actually relevant, without resorting to indiscriminate posting.
Contribution: Built application and retrieval components surfacing discussion threads matching a product description.
Role: Full-stack engineer · Distributed team

Full-stackSaaSInformation retrieval