Grold Otieno Mboya
Gro97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 4 hours ago
Gro97/adaption-formal-step-verification-augmented published a dataset about 4 hours ago
Gro97/adaption-formal-step-verification-augmented updated a dataset 3 days ago
Gro97/adaption-math-logic-verification-pairs