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
Organizations
