bge reranker v2 m3 (siliconflow)

DeepSeek R1 (Baidu AIStudio)

Qwen2.5 7B Instruct (siliconflow)

bge m3 (siliconflow)

Qwen2.5 Coder 7B Instruct (siliconflow)

DeepSeek R1 Distill Qwen 7B (siliconflow)

GLM 4 9B Chat (siliconflow)

InternLM2.5 7B Chat (siliconflow)

DeepSeek V3 (siliconflow)

DeepSeek V3 (Baidu AIStudio)

Qwen3 8B (siliconflow)

Certora Verification Language

Certora Prover Documentation

Rocq Prover