Cristian Gutiérrez

ggcristian's activity

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

updated a Space about 22 hours ago

Running

17

TuRTLe Leaderboard

🐢

17

A Unified Evaluation of LLMs for RTL Generation.

liked 2 datasets 1 day ago

hez2024/AutoEval-ECov

Viewer • Updated 19 days ago • 156 • 39 • 1

hez2024/CVDP-ECov-eval

Viewer • Updated Feb 20 • 83 • 89 • 1

upvoted a collection 1 day ago

LLM4Cov

Collection

7 items • Updated 15 days ago • 1

upvoted a collection 15 days ago

VeriThoughts Datasets

Collection

Formally Verified Verilog Reasoning Datasets • 8 items • Updated May 16, 2025 • 2

New activity in HPAI-BSC/TuRTLe-Leaderboard 15 days ago

When will this leaderboard update the evaluations of the new models?

5

#4 opened about 2 months ago by

JaxonJP

liked a Space 18 days ago

Running

3.79k

The Ultra-Scale Playbook

🌌

3.79k

The ultimate guide to training LLM on large GPU Clusters

upvoted a paper about 1 month ago

Code-A1: Adversarial Evolving of Code LLM and Test LLM via Reinforcement Learning

Paper • 2603.15611 • Published Mar 16 • 10

upvoted an article about 1 month ago

view article

Article

Keep the Tokens Flowing: Lessons from 16 Open-Source RL Libraries

• 
• 
• +7

Mar 10

•

126

upvoted a paper about 1 month ago

CUDA Agent: Large-Scale Agentic RL for High-Performance CUDA Kernel Generation

Paper • 2602.24286 • Published Feb 27 • 98

liked a dataset about 1 month ago

togethercomputer/CoderForge-Preview

Viewer • Updated Feb 26 • 827k • 6.71k • 163

liked a dataset about 2 months ago

VLR-CVC/DocVQA-2026

Viewer • Updated Mar 12 • 73 • 3.63k • 69

updated a dataset about 2 months ago

HPAI-BSC/NotSoTiny-25-12-CVDP

Preview • Updated Feb 23 • 99

upvoted an article about 2 months ago

view article

Article

GGML and llama.cpp join HF to ensure the long-term progress of Local AI

• 
• 
• +4

Feb 20

•

503

published a dataset about 2 months ago

HPAI-BSC/NotSoTiny-25-12-CVDP

Preview • Updated Feb 23 • 99

liked a Space about 2 months ago

Running

Featured

71

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

71

Who needs 1T parameters? Olympiad proofs with a 4B model

upvoted a paper about 2 months ago

ACE-RTL: When Agentic Context Evolution Meets RTL-Specialized LLMs

Paper • 2602.10218 • Published Feb 10 • 1

updated a collection about 2 months ago

LLMs for Chip Design

Collection

Benchmarks, datasets and other resources related with LLM models tuned for chip design. • 5 items • Updated Feb 17 • 2

liked a model about 2 months ago

Qwen/Qwen3.5-397B-A17B

Image-Text-to-Text • 403B • Updated Mar 15 • 755k • • 1.46k

liked a model 2 months ago

zai-org/GLM-5

Text Generation • 754B • Updated 12 days ago • 496k • • 2.07k