Tagged "domain-specific-llms"
4 articles tagged domain-specific-llms, 6 March 2026 to 18 April 2026. Newest first.
-
BibCrit – LLM Grounded in ETCBC Corpus Data for Biblical Textual Criticism
A specialised local LLM model fine-tuned on the ETCBC corpus for biblical textual analysis, demonstrating how domain-specific models can be deployed locally for expert applications. Exemplifies niche use cases for on-device inference.
-
Tether's QVAC Introduces Cross-Platform Bitnet LoRA Framework for On-Device AI Training
A new cross-platform BitNet LoRA framework enables efficient fine-tuning of language models directly on edge devices. This development significantly reduces the computational overhead required for on-device model adaptation and training.
-
Mistral Releases Leanstral: First Open-Source Code Agent for Lean 4 Proof Assistant
Mistral AI releases Leanstral-2603, the first open-source code agent specifically designed for the Lean 4 proof assistant, enabling local automated mathematical theorem proving and formal verification.
-
Show HN: BoardMint – A PCB Review Tool That Avoids AI Hallucinations
BoardMint demonstrates practical application of AI systems designed to minimize hallucinations in technical domains. The tool shows how local AI models can provide reliable, grounded assistance for hardware design tasks.