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