Stanislav Diner

stanidiener's activity

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

updated a dataset 7 days ago

stanidiener/flipstack-trie

Updated 7 days ago • 24 • 1

published a dataset about 1 month ago

stanidiener/flipstack-trie

Updated 7 days ago • 24 • 1

upvoted a paper 2 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29

updated a model 3 months ago

stanidiener/glm-4.5-air

110B • Updated Jan 26

published a model 3 months ago

stanidiener/glm-4.5-air

110B • Updated Jan 26

updated a model 3 months ago

stanidiener/gpt-oss-120b-w4a8

117B • Updated Jan 25 • 6

published a model 3 months ago

stanidiener/gpt-oss-120b-w4a8

117B • Updated Jan 25 • 6

updated a model 3 months ago

stanidiener/gpt-oss-120b

117B • Updated Jan 25 • 4

published a model 3 months ago

stanidiener/gpt-oss-120b

117B • Updated Jan 25 • 4

updated 4 models over 2 years ago

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