Hugging Face's logo
山口健太's picture
3 2

山口健太

lily-moore7

AI & ML interests

None yet

Recent Activity

liked a model about 16 hours ago
openbmb/VoxCPM2
liked a dataset about 23 hours ago
dpagliuso/agentedelicitacao
upvoted a paper 1 day ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
View all activity

Organizations

None yet