
Preferred name is Kevin Wei but legal name is Qi Wen Wei.
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
pullback
June 18, 2025 – Present
Formally verified code to code translation using LLMs and Lean4
View ProjectDr.Mario_Assembly_Project
March 17, 2025 – April 2, 2025
Dr.Mario_Assembly_Project — GitHub repository
View ProjectTheMechanicsOfProofSolutions
January 9, 2025 – June 5, 2025
TheMechanicsOfProofSolutions — GitHub repository
View ProjectRateMyAcorn
September 16, 2024 – September 20, 2024
Displays the rate my professors information of selected professors to the university of toronto website.
View Projecteducational-AI-agent
September 5, 2024 – September 21, 2025
educational-AI-agent — GitHub repository
View ProjectCultural Fit Analysis
The candidate's extensive list of personal projects, particularly in areas like AI, formal verification, and web development, demonstrates a strong passion for technology and continuous learning. This aligns well with a culture that values innovation and self-driven development. The diversity of projects also suggests adaptability and a broad intellectual curiosity. The focus on personal projects, however, means there is no direct evidence of experience in collaborative team environments or corporate project structures.
Soft Skills & Operational Fit
The candidate's project descriptions are concise, indicating a direct communication style. The variety of personal projects suggests self-motivation and a proactive approach to learning and problem-solving. However, without psychometric test results or interview data, a comprehensive assessment of soft skills, stress handling, and team collaboration is not possible.