Иван Смирнов

artemzvmx's activity

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

upvoted a paper 11 days ago

CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?

Paper • 2610.07557 • Published 15 days ago • 75

updated a dataset 15 days ago

artemzvmx/phd-dialogue-2024

Updated 15 days ago • 34

published a dataset 15 days ago

artemzvmx/phd-dialogue-2024

Updated 15 days ago • 34

upvoted a paper about 2 months ago

Repo-To-Skill: Distilling GitHub Repositories Into AI4AI Skills

Paper • 2609.02749 • Published Sep 2 • 467

updated a dataset about 2 months ago

artemzvmx/textile-image-text

Updated Aug 28 • 10

published a dataset about 2 months ago

artemzvmx/textile-image-text

Updated Aug 28 • 10

updated a model about 2 months ago

artemzvmx/model_562153981_deit_tiny

Updated Aug 21

published a model about 2 months ago

artemzvmx/model_562153981_deit_tiny

Updated Aug 21