Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Stanislav Diner's picture
1

Stanislav Diner

stanidiener
·

AI & ML interests

None yet

Recent Activity

updated a dataset about 8 hours ago
stanidiener/flipstack-trie
published a dataset about 8 hours ago
stanidiener/flipstack-trie
upvoted a paper about 1 month ago
Learning to Repair Lean Proofs from Compiler Feedback
View all activity

Organizations

None yet

stanidiener 's models 7

stanidiener/glm-4.5-air

110B • Updated Jan 26

stanidiener/gpt-oss-120b-w4a8

117B • Updated Jan 25

stanidiener/gpt-oss-120b

117B • Updated Jan 25

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 • 1

stanidiener/ppo-LunarLander-v2

Reinforcement Learning • Updated Sep 14, 2023 • 1
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs