# Жасау, тек қайта үлгілеу емес: Lean 4-тегі шектеулі компиляторға негізделген жөндеу

> Толық мәтін ағылшын тілінде

**Published:** 2026 ж. 21 қазан
**Author:** Haotian Deng, Chris Farber, Sonal Narasimha, Samskrithi Sivakumar, Yexiang Xue
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/kk/articles/fix-not-just-resample-bounded-compiler-guided-repair-in-lean-4

arXiv:2610.26942v1 Жариялау түрі: жаңа Анықтама: Автоматты теорема дәлелдеушілер жиі тіл моделін үлгілеуге таянады, бірақ Lean сияқты дәлелдеу көмекшілері әр қате қадамды дәл қате хабарламасымен қате деп есептейді — бұл ақпарат тек үлгілеуден бас тартады. Бұлды шешу үшін біз...

> Материал бастапқы дереккөзден алынған: **arXiv — cs.AI**
> [Толық мәтінді arXiv — cs.AI сайтында оқу](https://arxiv.org/abs/2610.26942)

**Тегтер:** #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*