A Clark

aclark63's activity

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

upvoted a paper 1 day ago

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

Paper • 2604.01483 • Published 9 days ago • 4

upvoted a paper 5 days ago

Superintelligence and Law

Paper • 2603.28669 • Published 10 days ago • 7

upvoted a paper 11 days ago

Out of Sight but Not Out of Mind: Hybrid Memory for Dynamic Video World Models

Paper • 2603.25716 • Published 14 days ago • 152

upvoted a paper 27 days ago

Bootstrapping Exploration with Group-Level Natural Language Feedback in Reinforcement Learning

Paper • 2603.04597 • Published Mar 4 • 210

upvoted a paper about 1 month ago

A Very Big Video Reasoning Suite

Paper • 2602.20159 • Published Feb 23 • 519