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

山口健太

lily-moore7

AI & ML interests

None yet

Recent Activity

upvoted a paper 33 minutes ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
upvoted a paper 4 days ago
LongTail Driving Scenarios with Reasoning Traces: The KITScenes LongTail Dataset
upvoted a paper 7 days ago
CARLA-Air: Fly Drones Inside a CARLA World -- A Unified Infrastructure for Air-Ground Embodied Intelligence
View all activity

Organizations

None yet