Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Kaito Baba
kAIto47802
Follow
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
kAIto47802
's datasets
1
Sort: Recently updated
kAIto47802/minif2f-test
Viewer
•
Updated
Oct 26
•
244
•
42