Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
6
4
Mateo Wilson
yangqianyi9
Follow
AI & ML interests
Alignment-focused model research.
Recent Activity
upvoted
a
paper
1 day ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
upvoted
a
paper
1 day ago
Fast Spatial Memory with Elastic Test-Time Training
upvoted
a
paper
3 days ago
GrandCode: Achieving Grandmaster Level in Competitive Programming via Agentic Reinforcement Learning
View all activity
Organizations
None yet
yangqianyi9
's models
None public yet
