Lowes's picture

3 4 8

Lowes

lowesyang

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 20 days ago

liked a model about 2 months ago

deepseek-ai/DeepSeek-R1-0528

updated a collection 2 months ago

View all activity

Organizations

upvoted a collection 20 days ago

Qwen3

76 items • Updated 2 days ago • 927

upvoted a collection 2 months ago

DMind-1

4 items • Updated May 25 • 4

upvoted 2 papers 3 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5 • 32

DMind Benchmark: The First Comprehensive Benchmark for LLM Evaluation in the Web3 Domain

Paper • 2504.16116 • Published Apr 18 • 12