Sannai, Akiyoshi

1. Characterization of varieties of Fano type via singularities of Cox rings
   2012/01/05 by Gongyo, Yoshinori, Okawa, Shinnosuke, Sannai, Akiyoshi +1 · 4 citations
   #14B05 #14E30 (Secondary) #14J45 (Primary) 13A35 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics
2. Improved Generalization Bounds of Group Invariant / Equivariant Deep Networks via Quotient Feature Spaces
   2019/10/15 by Akiyoshi Sannai, Sannai, Akiyoshi, Masaaki Imaizumi +3 · 3 citations
   Computer Science · Engineering · #3D Shape Modeling and Analysis #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Human Pose and Action Recognition #Machine Learning (cs.LG) #Machine Learning (stat.ML)
3. Universal approximations of permutation invariant/equivariant functions by deep neural networks
   2019/03/05 by Akiyoshi Sannai, Sannai, Akiyoshi, Yuuki Takai +3 · 3 citations
   Computer Science · #Advanced Graph Neural Networks #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications #Topic Modeling
4. LPML: LLM-Prompting Markup Language for Mathematical Reasoning
   2023/09/21 by Ryutaro Yamauchi, Yamauchi, Ryutaro, Sho Sonoda +5 · 3 citations
   Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Scientific Computing and Data Management #Topic Modeling
5. Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE
   2024/02/04 by Hashimoto, Koji, Hirono, Yuji, Sannai, Akiyoshi · 3 citations
   #Artificial Intelligence (cs.AI) #Computational Physics (physics.comp-ph) #FOS: Computer and information sciences #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Machine Learning (cs.LG)
6. A characterization of ordinary abelian varieties by the Frobenius push-forward of the structure sheaf
   2014/11/19 by Akiyoshi Sannai, Sannai, Akiyoshi, Hiromu Tanaka +1 · 1 citation
   Mathematics · Medicine · #Algebraic Geometry and Number Theory #Advanced Algebra and Geometry #Berberine and alkaloids research
7. Reconstruction of training samples from loss functions
   2018/05/18 by Akiyoshi Sannai, Sannai, Akiyoshi · 1 citation
   Physics and Astronomy · Computer Science · Mathematics · #Model Reduction and Neural Networks #Stochastic Gradient Optimization Techniques #Tensor decomposition and applications
8. Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
   2025/06/24 by C.M. Fan Y.C. Liu, Baba, Kaito, Shuhei Kurita +4 · 9 citations
   Computer Science · #Mathematics, Computing, and Information Processing #Logic, programming, and type systems #Open Education and E-Learning
9. Group Equivariant Conditional Neural Processes
   2021/02/17 by Kawano, Makoto, Kumagai, Wataru, Sannai, Akiyoshi +2 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
10. Equivariant and Invariant Reynolds Networks
    2021/10/15 by Sannai, Akiyoshi, Kawano, Makoto, Kumagai, Wataru · 1 citation
    #FOS: Computer and information sciences #Machine Learning (cs.LG)
11. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
    2025/06/27 by Onda, Naoto, Kasaura, Kazumi, Oriike, Yuta +3 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences