Scholar
Akiyoshi Sannai
Google Scholar ID: BIyXx5QAAAAJ
Kyoto University
large language models
artificial intelligence
machine learning
statistics
algebraic geometry
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
388
H-index
11
i10-index
12
Publications
20
Co-authors
25
list available
Publications
6 items
Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification
2026
Cited
0
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
Co-authors
10 total
Wataru Kumagai
Omron Sinic X
Makoto Kawano
The University of Tokyo
Sho Sonoda
RIKEN Center for Advanced Intelligence Project (AIP)
Ken Kobayashi
Institute of Science Tokyo
Masaaki Imaizumi
The University of Tokyo / RIKEN AIP
Yutaka Matsuo
Professor, University of Tokyo
Yusuke Iwasawa
The University of Tokyo
SHIMIZU Shohei
The University of Osaka (Osaka University), Shiga University & RIKEN
