2 papers
cs.AI2026
LeanContext: Disentangling Mathematical Resources from Local Formal Context in Lean Whole-Proof Generation
Hang Zhang, Qihao Ye, Litong Liu +7
Neural theorem proving increasingly uses retrieved premises and project context to support proof generation. Evaluating these resources requires measuring the advantage of target-s…
eess.SP2026
Covariance Learning for Direction-of-Arrival Estimation with Sparse Linear Arrays
Majdoddin Esfandiari, Esa Ollila, Geert Leus +1
Covariance learning (CL) estimates source powers and sensor-noise variance by minimizing the Type-II (marginal) negative log-likelihood of the array measurements. We develop both g…