Mateo Wilson
yangqianyi9
AI & ML interests
Alignment-focused model research.
Recent Activity
upvoted a paper about 6 hours ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving upvoted a paper about 12 hours ago
Fast Spatial Memory with Elastic Test-Time TrainingOrganizations
None yet