Scholar

Jimmy Xin

Google Scholar ID: eOAN81cAAAAJ

Unknown affiliation

Google Scholar↗

Citations & Impact

All-time

Citations

106

H-index

3

i10-index

2

Publications

3

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)