connorolson/lean4-subgoal-completions
Preview • Updated • 72
Connor Olson
connorolson
AI & ML interests
AI4MATH, HW/SW codesign for ML, Edge and IoT Inference
Recent Activity
updated a dataset 4 days ago
connorolson/lean4-subgoal-completions updated a model 5 days ago
connorolson/qwen35-9b-lean4-generalist-lora published a model 5 days ago
connorolson/qwen35-9b-lean4-generalist-loraOrganizations
None yet
updated a
dataset 4 days ago
updated a
model 5 days ago
published a
model 5 days ago
updated a
model 5 days ago
published a
model 5 days ago
updated a
model 5 days ago
published a
model 5 days ago
published a
dataset 16 days ago