山口健太

lily-moore7's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model 1 day ago

openbmb/VoxCPM2

Text-to-Speech • Updated 2 days ago • 3.77k • 650

liked a dataset 2 days ago

dpagliuso/agentedelicitacao

Viewer • Updated 2 days ago • 9 • 40 • 1

upvoted a paper 2 days ago

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

Paper • 2604.01483 • Published 10 days ago • 5

upvoted a paper 6 days ago

LongTail Driving Scenarios with Reasoning Traces: The KITScenes LongTail Dataset

Paper • 2603.23607 • Published 17 days ago • 18

upvoted a paper 9 days ago

CARLA-Air: Fly Drones Inside a CARLA World -- A Unified Infrastructure for Air-Ground Embodied Intelligence

Paper • 2603.28032 • Published 12 days ago • 339