Matthias NOWAK

Michaellewisvi

3 4

·

AI & ML interests

Building things with AI.

Recent Activity

updated a model 1 day ago

Michaellewisvi/multitask63

published a model 1 day ago

Michaellewisvi/multitask63

upvoted a paper 1 day ago

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

View all activity

Organizations

None yet

models 3

Michaellewisvi/multitask63

24.8k • Updated 1 day ago • 15

Michaellewisvi/project-matching

24.8k • Updated 26 days ago • 18

Michaellewisvi/generation-quantized

16.6k • Updated about 1 month ago • 10

datasets 1

Michaellewisvi/dataset_025471228_agriculture_image_depth

Updated Aug 21 • 13