山口健太's picture

3 2

山口健太

lily-moore7

AI & ML interests

None yet

Recent Activity

liked a model 3 days ago

openbmb/VoxCPM2

liked a dataset 3 days ago

dpagliuso/agentedelicitacao

upvoted a paper 3 days ago

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

View all activity

Organizations

None yet

lily-moore7 's models

None public yet