Wasiu A.

Key Skills

Software

No software listed

Top Subject Matter

Mathematical logic and proof verification

Mathematics (Olympiad preparation)

Top Data Types

Text

Document

Top Task Types

RLHF

Freelancer Overview

Mathematics Academic Mentor (Proof validation and logical error detection). Brings 9+ years of professional experience across complex professional workflows, research, and quality-focused execution. Core strengths include Internal and Proprietary Tooling. Education includes Bachelor of Science, University of Ibadan (2027). AI-training focus includes data types such as Text and labeling workflows including Evaluation, Rating, and RLHF.

Labeling Experience

Mathematics Academic Mentor (Proof validation and logical error detection)

Text

Provided peer-reviewed checking of mathematical proofs and step-by-step logic to identify subtle errors. Performed quality assurance style review by validating reasoning consistency and adherence to formal logical structure. Actively supported structured logical explanation by decomposing multi-step solutions into clearer sequential components for learning. • Reviewed and audited proof steps for correctness and logical gaps • Detected edge-case mistakes and subtle reasoning flaws • Produced structured feedback to improve clarity and validation of solutions • Helped ensure strict conformity to mathematical annotation and solution-writing guidelines

2024 - Present

Mathematics Olympiad training (reasoning/proof validation)

TextRLHF

Trained in rigorous mathematical disciplines to strengthen reasoning, proof construction, and validation under challenging problem sets. Built structured problem-solving workflows useful for later AI training tasks like logical correctness checking and reward-like evaluation. Developed the ability to generate and verify non-standard proofs designed to test deep reasoning limits. • Practiced forming elegant proofs across multiple math domains • Focused on logical validation and correctness of complex solutions • Worked on abstract reasoning tasks that stress edge-case handling • Strengthened discipline for consistent step-by-step reasoning

2018 - 2018

Education

Work History