Jonas Bayer's picture

3

Jonas Bayer

TBUGTB

·

AI & ML interests

Math & AI

Recent Activity

updated a dataset 13 days ago

TBUGTB/ft-generated-proof

published a dataset 13 days ago

TBUGTB/ft-generated-proof

upvoted an article 14 days ago

Kimina-Prover-RL

View all activity

Organizations

TBUGTB 's models

None public yet