Akiyoshi Sannai

Identifiers

• name variant Akiyoshi Sannai 0.60 · backfill

Papers (16)

1. Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols cs.CR · 2026 · author #3
2. Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization cs.HC · 2026 · author #2
3. Discovering New Theorems via LLMs with In-Context Proof Learning in Lean cs.LG · 2025 · author #5
4. Asymptotic Risk of Bezier Simplex Fitting cs.LG · 2019 · author #2
5. Bezier Simplex Fitting: Describing Pareto Fronts of Simplicial Problems with Small Samples in Multi-objective Optimization math.OC · 2018 · author #3
6. Reconstruction of training samples from loss functions stat.ML · 2018 · author #1
7. A characterization of ordinary abelian varieties by the Frobenius push-forward of the structure sheaf II math.AG · 2017 · author #2
8. A characterization of ordinary abelian varieties by the Frobenius push-forward of the structure sheaf math.AG · 2014 · author #1
9. Homotopy invariance of higher K-theory for abelian categories math.AG · 2013 · author #2
10. Dual F-signature math.AC · 2013 · author #1
11. Characterization of varieties of Fano type via singularities of Cox rings math.AG · 2012 · author #3
12. Jet schemes of homogeneous hypersurfaces math.AG · 2011 · author #2
13. Generalized Koszul resolutions math.AC · 2011 · author #2
14. Higher K-theory of polynomial categories math.AC · 2011 · author #2
15. F-signature of graded Gorenstein rings math.AC · 2011 · author #1
16. Galois extensions, plus closure, and maps on local cohomology math.AC · 2011 · author #1

Mentions

• 1411.5294 #1 · backfill · confidence 0.70 Akiyoshi Sannai
• 1304.3784 #2 · backfill · confidence 0.70 Akiyoshi Sannai
• 1301.2381 #1 · backfill · confidence 0.70 Akiyoshi Sannai
• 1201.1133 #3 · backfill · confidence 0.70 Akiyoshi Sannai
• 1109.5321 #2 · backfill · confidence 0.70 Akiyoshi Sannai
• 1104.4242 #2 · backfill · confidence 0.70 Akiyoshi Sannai
• 1104.4240 #2 · backfill · confidence 0.70 Akiyoshi Sannai
• 1104.4236 #1 · backfill · confidence 0.70 Akiyoshi Sannai
• 1104.0413 #1 · backfill · confidence 0.70 Akiyoshi Sannai

Frequent Coauthors

• Satoshi Mochizuki 3 shared papers
• Akinori Tanaka 2 shared papers
• Kei-ichi Watanabe 2 shared papers
• Ken Kobayashi 2 shared papers
• Naoki Hamada 2 shared papers
• Anurag K. Singh 1 shared papers
• Banri Yanahama 1 shared papers
• Hiromu Tanaka 1 shared papers
• Hirotake Murakami 1 shared papers
• Kazumi Kasaura 1 shared papers
• Kenichi Bannai 1 shared papers
• Masashi Sugiyama 1 shared papers
• Masato Kamba 1 shared papers
• Masaya Taniguchi 1 shared papers
• Naoto Onda 1 shared papers
• Shihoko Ishii 1 shared papers
• Shinnosuke Okawa 1 shared papers
• Sho Ejiri 1 shared papers
• Sho Sonoda 1 shared papers
• Shunsuke Takagi 1 shared papers