Ashwin Burnwal's picture

2 1 4

Ashwin Burnwal

AshBlanc

·

Ash-the-practical-programmer

AI & ML interests

None yet

Recent Activity

updated a Space about 13 hours ago

John6666/testpipeline

New activity about 13 hours ago

John6666/testpipeline:Update app.py

liked a Space about 13 hours ago

John6666/testpipeline

View all activity

Organizations

AshBlanc's activity

upvoted a paper about 17 hours ago

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Paper • 2407.03203 • Published Jul 3 • 11