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

  • Log In
  • Sign Up
Kaito Baba's picture
1

Kaito Baba

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

AI & ML interests

None yet

Recent Activity

new activity 24 days ago
kAIto47802/minif2f-test:Add text-generation task category
authored a paper 5 months 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 5 months ago
Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
View all activity

Organizations

None yet

New activity in kAIto47802/minif2f-test 24 days ago

Add text-generation task category

1
#2 opened 24 days ago by
nielsr
authored 2 papers 5 months ago

The T05 System for The VoiceMOS Challenge 2024: Transfer Learning from Deep Image Classifier to Naturalness MOS Prediction of High-Quality Synthetic Speech

Paper • 2409.09305 • Published Sep 14, 2024

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs

Paper • 2506.19923 • Published Jun 24, 2025
published a dataset 5 months ago

kAIto47802/minif2f-test

Viewer • Updated 24 days ago • 244 • 33
updated a dataset 5 months ago

kAIto47802/minif2f-test

Viewer • Updated 24 days ago • 244 • 33
updated a model 10 months ago

sarulab-speech/UTMOSv2

Updated May 10, 2025 • 5
published a model about 1 year ago

sarulab-speech/UTMOSv2

Updated May 10, 2025 • 5
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs