renxiwang PRO
reasonwang
AI & ML interests
None yet
Recent Activity
updated
a collection
6 days ago
minilang
updated
a collection
6 days ago
minilang
updated
a collection
6 days ago
minilang
Organizations
Collections
3
spaces
1
models
78
reasonwang/deepseek-prover-minilang-no-SH
Text Generation
•
Updated
•
5
reasonwang/deepseek-prover-minilang
Text Generation
•
Updated
•
16
reasonwang/deepseek-prover-isar-SH
Text Generation
•
Updated
•
10
reasonwang/deepseek-prover-isar
Text Generation
•
Updated
•
5
reasonwang/TmpModel
Updated
reasonwang/ToolGen-WoSystem-Qwen2.5-3B-Instruct
Text Generation
•
Updated
reasonwang/ToolGen-WoSystem-Llama-3-8B-Instruct-8Bit
Text Generation
•
Updated
•
4
reasonwang/ToolGen-WoSystem-Llama-3-8B-Instruct
Text Generation
•
Updated
•
1
reasonwang/ToolGen-Qwen2.5-14B
Text Generation
•
Updated
•
1
reasonwang/ToolGen-Qwen2.5-7B
Text Generation
•
Updated