Skip to content

Author

Yexiang Xue

4 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4

This work introduces a bounded, online step-level repair module that feeds the compiler's error message to a pretrained repair model to fix individual rejected steps in place and improves the solve rate over a sampling-only baseline across all tested candidate budgets.

Hao-Tian Deng, Chris Farber, Sonal Narasimha et al. · 0 citations
#artificial intelligence Review Sep 2026

Teaching AI, Robotics,&Community: A Hubs-Based K-12 Education Framework for Reaching Rural Schools

Results show ARC can create and support rural robotics programs, train undergraduate AI and robotics mentors, and potentially scale mentorship across a region, as well as create a spatial Markov model of ARC's growth and simulate it using the state of Indiana as a testbed.

M. Jacobson, Gustavo Rodriguez-Rivera, Petros Drineas et al. · 0 citations
#artificial intelligence Preprint Sep 2026

Missing Bridges: Composition-Aware Active Imitation Learning

This work introduces Adaptive Agents via Latent Topologies (AALT), which requests demonstrations that maximize expected gains in start-goal connectivity and shows that this objective is formally tied to information gain about task reachability.

M. Jacobson, A. H. Qureshi, Ye-Xiang Xue · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.