Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Kaito Baba's picture

Kaito Baba

kAIto47802
https://kaito47802.github.io
  • kAIto47802

AI & ML interests

None yet

Recent Activity

authored a paper about 1 month ago
The T05 System for The VoiceMOS Challenge 2024: Transfer Learning from Deep Image Classifier to Naturalness MOS Prediction of High-Quality Synthetic Speech
authored a paper about 1 month ago
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
published a dataset about 2 months ago
kAIto47802/minif2f-test
View all activity

Organizations

None yet

Papers 2

arxiv:2506.19923
arxiv:2409.09305

models 0

None public yet

datasets 1

kAIto47802/minif2f-test

Viewer • Updated Oct 26 • 244 • 50
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs