Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • 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 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

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs