Tagged "domain-specific-models"

• Ultra-Compact 28M Parameter Models Show Promise for Specialized Domain Tasks 20 March 2026
• Mistral Releases Leanstral: First Open-Source Code Agent for Lean 4 Proof Assistant 17 March 2026