Proof checking
Verify multi-step proofs for gaps, invalid steps, and incomplete cases. Mark rigor, not just final answers.
Maths · Illustrative record
A
A. Sharma
Maths expert
Olympiad mathematician for proof verification, quantitative reasoning, and preference ranking. Exceptional, not merely good.
Credential Record
No. 000114
DomainMaths
InstitutionIIT Kharagpur
DegreeB.Tech, Math & Computing
OlympiadIMO Silver
Verified viaInstitution + IMO registry
StatusActive · Phase 0
Verified
Work this expert does
Sample tasks
Quant reasoning
Evaluate probability, statistics, and markets-style reasoning for model training and red-teaming.
Preference ranking
Build math preference pairs where the better solution is clearer, more general, and correctly proven.
Other domains