Fazal Khan

FA5I's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in ShadenA/MathNet 2 months ago

v1 of MathNet

2

#2 opened 2 months ago by

FA5I

liked a dataset 2 months ago

ShadenA/MathNet

Viewer • Updated 21 days ago • 55.6k • 7.14k • 89

liked a dataset 3 months ago

TamasSimonds/olympiad-proof-problems

Viewer • Updated Aug 17, 2025 • 39.8k • 25 • 1

liked 7 datasets 5 months ago

jablonkagroup/chempile-education

Viewer • Updated Jun 23, 2025 • 66.9k • 389 • 7

kawchar85/Bangla-Math

Viewer • Updated Nov 2, 2024 • 1.46k • 65 • 8

artnoage/Olympiads

Viewer • Updated Dec 25, 2024 • 42.6k • 28 • 4

Cloudriver/PhyX

Viewer • Updated Mar 16 • 17k • 1.08k • 26

combviz/inoi

Viewer • Updated Oct 21, 2025 • 1.14k • 21 • 1

zhibei1204/PhysReason

Updated May 29, 2025 • 136 • 18

SeePhys/SeePhys

Viewer • Updated Oct 28, 2025 • 2k • 308 • 12

New activity in desimfj/PHYSICS 5 months ago

Training Dataset Split

#3 opened 6 months ago by

FA5I

liked a dataset 5 months ago

IIGroup/X-Coder-RL-40k

Viewer • Updated Feb 7 • 279 • 95 • 2

liked a dataset 6 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 906 • 122

upvoted a collection 6 months ago

Proof Assistant Projects

Collection

Digesting proof assistant libraries for AI ingestion. • 103 items • Updated 28 days ago • 3

liked a dataset 6 months ago

nguha/legalbench

Viewer • Updated Mar 30 • 91.8k • 28.2k • 184

liked a model 6 months ago

xl-zhao/PromptCoT-Problem-Generation-Model

8B • Updated Mar 5, 2025 • 6 • 1

liked 2 datasets 6 months ago

desimfj/PHYSICS

Viewer • Updated Sep 14, 2025 • 2k • 249 • 7

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 31k • 592

upvoted a paper 6 months ago

P1: Mastering Physics Olympiads with Reinforcement Learning

Paper • 2511.13612 • Published Nov 17, 2025 • 135

liked a dataset 6 months ago

ecnu-icalk/cmm-math

Viewer • Updated Jun 12, 2025 • 28.1k • 785 • 32