Submitted by 
Debargha Ganguly
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
Submitted by 
Yi Ge (Ellen)
Submitted by 
Yuqing Yang
Submitted by 
Zhaoyang Zhang
Submitted by 
Sean Man
Submitted by 
Vikash Singh