Lowes's picture

Lowes

lowesyang

·

AI & ML interests

None yet

Recent Activity

liked a model about 2 months ago

DMindAI/DMind-3

updated a collection 2 months ago

updated a collection 2 months ago

View all activity

Organizations

upvoted a collection 6 months ago

DMind Benchmark

1 item • Updated Oct 13, 2025 • 1

upvoted a collection 9 months ago

Qwen3

84 items • Updated Dec 31, 2025 • 1.74k

upvoted a collection 11 months ago

DMind-1

3 items • Updated Oct 13, 2025 • 4

upvoted 2 papers 11 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5, 2025 • 33

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

Paper • 2504.16116 • Published Apr 18, 2025 • 11