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