LLM Models · Reasoning

Browse the world's large language models. Compare parameters, benchmarks, VRAM and more.

BFS-Prover-V2: Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers

SEA-LION is a collection of Large Language Models (LLMs) which have been pretrained and instruct-tuned for the Southeast Asia (SEA) region.

This is a Japanese finetuned model based on deepseek-ai/DeepSeek-R1-Distill-Qwen-32B.

This is a Japanese finetuned model based on deepseek-ai/DeepSeek-R1-Distill-Qwen-14B.

- Arxiv - Github - Model Collection - Data

- Arxiv - Github - Model Collection - Data