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 2 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 about 2 months 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

authored 2 papers about 2 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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs