Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics Paper • 2601.14027 • Published Jan 20 • 14
Qwen-3.6-unsloth-mlx Collection AWQ-style pre-scaling using Unsloth's imatrix calibration data, then 3-6-bit affine quantization with the Unsloth mixed-precision recipe via MLX • 12 items • Updated 14 days ago • 19
view article Article DeepSeek-V4: a million-token context that agents can actually use 16 days ago • 42
DeltaTok Collection DeltaTok tokenizer, DeltaWorld predictor, and evaluation heads. https://github.com/amazon-far/deltatok • 7 items • Updated Apr 8 • 8
view article Article Training and Finetuning Multimodal Embedding & Reranker Models with Sentence Transformers 24 days ago • 69
VidEoMT: Your ViT is Secretly Also a Video Segmentation Model Paper • 2602.17807 • Published Feb 19 • 7
view article Article How I contributed a new model to the Transformers library using Codex Mar 30 • 51
MolmoWeb Collection This is the collection of MolmoWeb artifacts, including model checkpoints and data. • 8 items • Updated 26 days ago • 23
OpenResearcher Collection OpenResearcher: A Fully Open Pipeline for Long-Horizon Deep Research Trajectory Synthesis • 8 items • Updated Mar 24 • 18
NVIDIA Nemotron v3 Collection Open, Production-ready Enterprise Models • 18 items • Updated about 14 hours ago • 285