Fazal Khan

FA5I's activity

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

New activity in ShadenA/MathNet about 1 month ago

v1 of MathNet

2

#2 opened about 1 month ago by

FA5I

liked 2 datasets about 2 months ago

ShadenA/MathNet

Viewer • Updated Apr 27 • 55.6k • 8.61k • 86

TamasSimonds/olympiad-proof-problems

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

liked 7 datasets 4 months ago

jablonkagroup/chempile-education

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

kawchar85/Bangla-Math

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

artnoage/Olympiads

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

Cloudriver/PhyX

Viewer • Updated Mar 16 • 17k • 6.26k • 25

combviz/inoi

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

zhibei1204/PhysReason

Updated May 29, 2025 • 183 • 18

SeePhys/SeePhys

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

New activity in desimfj/PHYSICS 4 months ago

Training Dataset Split

#3 opened 5 months ago by

FA5I

liked a dataset 4 months ago

IIGroup/X-Coder-RL-40k

Viewer • Updated Feb 7 • 279 • 126 • 2

liked a dataset 5 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 637 • 120

upvoted a collection 5 months ago

Proof Assistant Projects

Collection

Digesting proof assistant libraries for AI ingestion. • 103 items • Updated about 19 hours ago • 3

liked a dataset 5 months ago

nguha/legalbench

Viewer • Updated Mar 30 • 91.8k • 20.1k • 179

liked a model 5 months ago

xl-zhao/PromptCoT-Problem-Generation-Model

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

liked 2 datasets 5 months ago

desimfj/PHYSICS

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

AI-MO/NuminaMath-CoT

Viewer • Updated Nov 25, 2024 • 860k • 61.5k • 588

upvoted a paper 5 months ago

P1: Mastering Physics Olympiads with Reinforcement Learning

Paper • 2511.13612 • Published Nov 17, 2025 • 135

liked a dataset 5 months ago

ecnu-icalk/cmm-math

Viewer • Updated Jun 12, 2025 • 28.1k • 684 • 31