AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
Scaling Lean Theorem Proving for Real-World Code Verification
ANTE: Anticipate, Then Execute -- Learning Internal World Models for Coding Agents from Verified Beliefs
Organization Card
This page is not currently active, please visit https://huggingface.co/amazon instead.
models 0
None public yet
datasets 0
None public yet