Qwen3-Coder-30B-A3B

Researchers developed a memory-efficient, single-GPU training and inference architecture for autoformalizing natural language mathematics into Lean 4 statement code, using the Qwen3-Coder-30B-A3B spar…

AutoThinkSQL, a framework integrating an auto-thinking mechanism into Supervised Fine-Tuning and Direct Preference Optimization for Text-to-SQL, enables dynamic bypassing of reasoning for simple queri…

Local Motion, a new tool for VS Code and Cursor, lets developers run local coding agents with local LLMs on macOS, managing model loading and memory automatically. The tool selects compatible models, …