Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
3
Jason Vega
jasonvega
Follow
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
3 days ago
SEVerA: Verified Synthesis of Self-Evolving Agents
upvoted
a
paper
4 months ago
BEAVER: An Efficient Deterministic LLM Verifier
upvoted
a
paper
10 months ago
DINGO: Constrained Inference for Diffusion LLMs
View all activity
Organizations
None yet
jasonvega
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
upvoted
a
paper
3 days ago
SEVerA: Verified Synthesis of Self-Evolving Agents
Paper
•
2603.25111
•
Published
17 days ago
•
24
upvoted
a
paper
4 months ago
BEAVER: An Efficient Deterministic LLM Verifier
Paper
•
2512.05439
•
Published
Dec 5, 2025
•
36
upvoted
a
paper
10 months ago
DINGO: Constrained Inference for Diffusion LLMs
Paper
•
2505.23061
•
Published
May 29, 2025
•
31