Matthias NOWAK

Michaellewisvi

3 4

·

AI & ML interests

Building things with AI.

Recent Activity

updated a model 3 days ago

Michaellewisvi/multitask63

published a model 3 days ago

Michaellewisvi/multitask63

upvoted a paper 3 days ago

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

View all activity

Organizations

None yet

Michaellewisvi 's models 3

Michaellewisvi/multitask63

24.8k • Updated 3 days ago • 18

Michaellewisvi/project-matching

24.8k • Updated 29 days ago • 19

Michaellewisvi/generation-quantized

16.6k • Updated Sep 10 • 10