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
amazonwebservices 's models
None public yet