Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
14
6
Jonathan H. Parker
reply-guy
Follow
0 followers
ยท
3 following
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
2 days ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
upvoted
a
paper
4 days ago
GrandCode: Achieving Grandmaster Level in Competitive Programming via Agentic Reinforcement Learning
liked
a dataset
5 days ago
Open-Orca/OpenOrca
View all activity
Organizations
None yet
reply-guy
's models
None public yet
