Jonas Bayer's picture

3

Jonas Bayer

TBUGTB

·

AI & ML interests

Math & AI

Recent Activity

updated a dataset 1 day ago

TBUGTB/ft-generated-proof

published a dataset 1 day ago

TBUGTB/ft-generated-proof

upvoted an article 2 days ago

Kimina-Prover-RL

View all activity

Organizations

TBUGTB 's datasets 2

TBUGTB/ft-generated-proof

Viewer • Updated 1 day ago • 96 • 19

TBUGTB/mizar-proof-pairs

Viewer • Updated 2 days ago • 10k • 51