arxiv:2506.19923
Kaito Baba
kAIto47802
AI & ML interests
None yet
Recent Activity
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
Organizations
None yet