Connor Olson
connorolson
AI & ML interests
AI4MATH, HW/SW codesign for ML, Edge and IoT Inference
Recent Activity
updated a dataset 2 days ago
connorolson/lean4-subgoal-completions published a dataset 7 days ago
connorolson/lean4-subgoal-completionsOrganizations
None yet