Cover Image

Learning to Repair Lean Proofs from Compiler Feedback

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Evan, Chess, Simon, Lee, Daniel, Ge, Siyuan, Mallavarapu, Ajit, Alper, Jarod, Ilin, Vasily
Format:	Preprint
Published:	2026
Subjects:	Machine Learning 68T01 (Primary) 68N18 (Secondary) I.2.6; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LIFY: IoT System for Monitoring Vital Signs of Elderly People
by: Gonzalez, Sara, et al.
Published: (2025)

Algebraic Topology for Data Scientists
by: Postol, Michael S.
Published: (2023)

A transfer learning approach for automatic conflicts detection in software requirement sentence pairs based on dual encoders
by: Wang, Yizheng, et al.
Published: (2025)

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
by: Linhares, Alexandre
Published: (2026)

Optimistic Feasible Search for Closed-Loop Fair Threshold Decision-Making
by: Du, Wenzhang
Published: (2025)

Ethical AI Governance: Methods for Evaluating Trustworthy AI
by: McCormack, Louise, et al.
Published: (2024)

Partitioned Neural Network Training via Synthetic Intermediate Labels
by: Karadağ, Cevat Volkan, et al.
Published: (2024)

Attention Gathers, MLPs Compose: A Causal Analysis of an Action-Outcome Circuit in VideoViT
by: Chereddy, Sai V R
Published: (2026)

Project Synapse: A Hierarchical Multi-Agent Framework with Hybrid Memory for Autonomous Resolution of Last-Mile Delivery Disruptions
by: Yadav, Arin Gopalan, et al.
Published: (2026)

A General Weighting Theory for Ensemble Learning: Beyond Variance Reduction via Spectral and Geometric Structure
by: Fokoué, Ernest
Published: (2025)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
by: Koc, Vincent, et al.
Published: (2025)

FedUNet: A Lightweight Additive U-Net Module for Federated Learning with Heterogeneous Models
by: Seo, Beomseok, et al.
Published: (2025)

Complex Facial Expression Recognition Using Deep Knowledge Distillation of Basic Features
by: Maiden, Angus, et al.
Published: (2023)

Machine Learning as Performative Materialist Practice: Thirteen Theses on the Epistemology, Methodology, and Politics of Applied ML
by: De Unánue, Adolfo, et al.
Published: (2026)

Graph2Tac: Online Representation Learning of Formal Math Concepts
by: Blaauwbroek, Lasse, et al.
Published: (2024)

FT-NCFM: An Influence-Aware Data Distillation Framework for Efficient VLA Models
by: Chen, Kewei, et al.
Published: (2025)

ATAAT: Adaptive Threat-Aware Adversarial Tuning Framework against Backdoor Attacks on Vision-Language-Action Models
by: Chen, Kewei, et al.
Published: (2026)

A Comparison Between Decision Transformers and Traditional Offline Reinforcement Learning Algorithms
by: Caunhye, Ali Murtaza, et al.
Published: (2025)

Automated but Atrophied? Student Over-Reliance vs Expert Augmentation of AI in Learning and Cybersecurity
by: Khan, Koffka
Published: (2025)

Folding the Heighway dragon curve
by: Chang, Ting-Wu, et al.
Published: (2026)

On measuring grounding and generalizing grounding problems
by: Quigley, Daniel, et al.
Published: (2025)

See-Saw Generative Mechanism for Scalable Recursive Code Generation with Generative AI
by: Vsevolodovna, Ruslan Idelfonso Magaña
Published: (2024)

Rule Extraction in Machine Learning: Chat Incremental Pattern Constructor
by: Nwokocha, Caleb Princewill
Published: (2022)

Morphological Synthesizer for Ge'ez Language: Addressing Morphological Complexity and Resource Limitations
by: Gebremariam, Gebrearegawi, et al.
Published: (2025)

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
by: Ilin, Vasily
Published: (2026)

From Imitation to Interaction: Mastering Game of Schnapsen with Shallow Reinforcement Learning
by: Klačan, Ján, et al.
Published: (2026)

Data and AI governance: Promoting equity, ethics, and fairness in large language models
by: Abhishek, Alok, et al.
Published: (2025)

SHARP: Social Harm Analysis via Risk Profiles for Measuring Inequities in Large Language Models
by: Abhishek, Alok, et al.
Published: (2026)

BEATS: Bias Evaluation and Assessment Test Suite for Large Language Models
by: Abhishek, Alok, et al.
Published: (2025)

Reasoning Promotes Robustness in Theory of Mind Tasks
by: de Haan, Ian B., et al.
Published: (2026)

If you can describe it, they can see it: Cross-Modal Learning of Visual Concepts from Textual Descriptions
by: Barbano, Carlo Alberto, et al.
Published: (2024)

The VOROS: Lifting ROC curves to 3D
by: Ratigan, Christopher, et al.
Published: (2024)

A Unifying Framework for Unsupervised Concept Extraction
by: Squires, Chandler, et al.
Published: (2026)

Maternal and Fetal Health Status Assessment by Using Machine Learning on Optical 3D Body Scans
by: Cheng, Ruting, et al.
Published: (2025)

Do Reasoning Models Enhance Embedding Models?
by: Chan, Wun Yu, et al.
Published: (2026)

AiGAS-dEVL-RC: An Adaptive Growing Neural Gas Model for Recurrently Drifting Unsupervised Data Streams
by: Arostegi, Maria, et al.
Published: (2025)

Revisiting Non-separable Binary Classification and its Applications in Anomaly Detection
by: Lau, Matthew, et al.
Published: (2023)

Research on a hybrid LSTM-CNN-Attention model for text-based web content classification
by: Kuz, Mykola, et al.
Published: (2025)

Linguistic Collapse: Neural Collapse in (Large) Language Models
by: Wu, Robert, et al.
Published: (2024)

Frequency Principle: Fourier Analysis Sheds Light on Deep Neural Networks
by: Xu, Zhi-Qin John, et al.
Published: (2019)