Akiyoshi Sannai
Scholar

Akiyoshi Sannai

Google Scholar ID: BIyXx5QAAAAJ
Kyoto University
large language modelsartificial intelligencemachine learningstatisticsalgebraic geometry
Google Scholar↗
Citations & Impact
All-time
Citations
388
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
5 items
SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients
2026
Cited
0
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
2025
Cited
0
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
2025
Cited
0
Prover Agent: An Agent-based Framework for Formal Mathematical Proofs
2025
Cited
0
Integrating Large Language Models in Causal Discovery: A Statistical Causal Approach
arXiv.org · 2024
Cited
9
Resume (English only)
Co-authors
25 total
Wataru Kumagai
Wataru Kumagai
Omron Sinic X
Makoto Kawano
Makoto Kawano
The University of Tokyo
Co-author 3
Co-author 3
Sho Sonoda
Sho Sonoda
RIKEN Center for Advanced Intelligence Project (AIP)
Ken Kobayashi
Ken Kobayashi
Institute of Science Tokyo
Co-author 6
Co-author 6
Masaaki Imaizumi
Masaaki Imaizumi
The University of Tokyo / RIKEN AIP
Co-author 8
Co-author 8