Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
DanTim's picture

DanTim

DanTim05
1
ยท

AI & ML interests

None yet

Recent Activity

updated a Space 3 days ago
DanTim05/DynaTTT
published a Space 4 days ago
DanTim05/DynaTTT
upvoted a paper 4 months ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
View all activity

Organizations

dynaTTTMemory's profile picture

updated a Space 3 days ago
Configuration error

DynaTTT

๐Ÿš€

published a Space 4 days ago
Configuration error

DynaTTT

๐Ÿš€

upvoted a paper 4 months ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

Paper โ€ข 2606.13473 โ€ข Published Jun 11 โ€ข 99
updated a model 7 months ago

DanTim05/q-FrozenLake-v1-4x4-noSlippery_test

Reinforcement Learning โ€ข Updated Feb 20
published a model 7 months ago

DanTim05/q-FrozenLake-v1-4x4-noSlippery_test

Reinforcement Learning โ€ข Updated Feb 20
updated a model 7 months ago

DanTim05/study

Reinforcement Learning โ€ข Updated Feb 19 โ€ข 2
published a model 7 months ago

DanTim05/study

Reinforcement Learning โ€ข Updated Feb 19 โ€ข 2
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs