Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
Stanislav Diner
stanidiener
Follow
0 followers
·
1 following
AI & ML interests
None yet
Recent Activity
updated
a dataset
1 day ago
stanidiener/flipstack-trie
published
a dataset
about 1 month ago
stanidiener/flipstack-trie
upvoted
a
paper
2 months ago
Learning to Repair Lean Proofs from Compiler Feedback
View all activity
Organizations
None yet
models
7
Sort: Recently updated
stanidiener/glm-4.5-air
110B
•
Updated
Jan 26
stanidiener/gpt-oss-120b-w4a8
117B
•
Updated
Jan 25
•
5
stanidiener/gpt-oss-120b
117B
•
Updated
Jan 25
•
4
stanidiener/Taxi-v3
Reinforcement Learning
•
Updated
Sep 16, 2023
stanidiener/q-FrozenLake-v1-4x4-noSlippery
Reinforcement Learning
•
Updated
Sep 16, 2023
stanidiener/ppo-Huggy
Reinforcement Learning
•
Updated
Sep 14, 2023
•
52
stanidiener/ppo-LunarLander-v2
Reinforcement Learning
•
Updated
Sep 14, 2023
•
9
datasets
1
stanidiener/flipstack-trie
Updated
1 day ago
•
15
•
1