Jonas Bayer's picture

3

Jonas Bayer

TBUGTB

·

AI & ML interests

Math & AI

Organizations

TBUGTB 's datasets 2

TBUGTB/ft-generated-proof

Viewer • Updated Sep 2 • 96 • 13

TBUGTB/mizar-proof-pairs

Viewer • Updated Sep 1 • 10k • 11