connorolson/lean4-subgoal-completions
Preview • Updated • 36
Connor Olson
connorolson
AI & ML interests
AI4MATH, HW/SW codesign for ML, Edge and IoT Inference
Recent Activity
updated a dataset about 23 hours ago
connorolson/lean4-subgoal-completions published a dataset 6 days ago
connorolson/lean4-subgoal-completionsOrganizations
None yet