Robust BERT-based model for English with improved MLM training
T5-Small: Lightweight text-to-text transformer for NLP tasks
Kammerjäger is a debugging tool with integrated correctness proving.
AI-supported visual verification and tests you can actually trust.
Flexible text-to-text transformer model for multilingual NLP tasks
Jan-v1-edge: efficient 1.7B reasoning model optimized for edge devices