Get started
Author

Ethan Ji

Observed name: Ji, Ethan
ORCID: 0009-0006-3663-9211
Observed ORCID: 0009-0006-3663-9211
OpenAlex ID: A5120683660
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
2026 · Taylor, Alexander K, Zhang, Junyi, et al. · arXiv (Cornell University) · 6
PDF
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
2026 · Jiang, Eric, Liang, Xiao, et al. · arXiv (Cornell University) · 5
PDF
ATHENA: Atherosclerosis through Hierarchical Explainable Neural Network Analysis
2025 · Irsyad Adam, Steven Swee, et al. · ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM-BCB) · 2
PDF
Continual Graph Memory for Mathematical Research Agents
2026 · Zhang, Junyi, Yu, Jinxi, et al. · arXiv (Cornell University) · 1
PDF
CoRGI: GNNs with Convolutional Residual Global Interactions for Lagrangian Simulation
2026 · Ethan Ji, Yuanzhou Chen, et al. · ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) · 1
Multimodal integration of ambulatory ECG and clinical features for sudden cardiac death and pump failure death prediction
2026 · Steven Swee, Irsyad Adam, et al. · Intelligence-Based Medicine
Bridging Singular Learning Theory and Mechanistic Interpretability at the Billion-Parameter Scale
2026 · Ji, Ethan, Wang, Wei, et al. · arXiv (Cornell University)
PDF
Unsatz: Evaluating Scientific Discovery Without a Given Ansatz
2026 · Ji, Ethan, Wang, Wei, et al. · arXiv (Cornell University)
PDF
Training Recipes for Agentic Reinforcement Learning in LLMs: A Survey
2026 · Ching Chang, Yijia Xiao, et al.
PDF
TaoAnalysisBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
2026 · Alexander K Taylor, Junyi Zhang, et al. · Findings of the Association for Computational Linguistics: EMNLP (Findings of EMNLP)
PDF
Works count: 10
Citation count: 15
H-index: 2
I10-index:
Year
Topic
Type