Scholar
Jimmy Xin
Google Scholar ID: eOAN81cAAAAJ
Unknown affiliation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
106
H-index
3
i10-index
2
Publications
3
Co-authors
0
Publications
3 items
AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities
2026
Cited
0
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
2026
Cited
0
Automated Discovery of Tactic Libraries for Interactive Theorem Proving
2025
Cited
0
