Buchumschlag

LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Zijian, Wang, Jiayu, Lin, Dahua, Chen, Kai
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SWE-bench-java: A GitHub Issue Resolving Benchmark for Java
von: Zan, Daoguang, et al.
Veröffentlicht: (2024)

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
von: Jimenez, Carlos E., et al.
Veröffentlicht: (2023)

GitHub Copilot: the perfect Code compLeeter?
von: Siroš, Ilja, et al.
Veröffentlicht: (2024)

AIDev: Studying AI Coding Agents on GitHub
von: Li, Hao, et al.
Veröffentlicht: (2026)

Experience with GitHub Copilot for Developer Productivity at Zoominfo
von: Bakal, Gal, et al.
Veröffentlicht: (2025)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
von: Cipollone, Daniele, et al.
Veröffentlicht: (2025)

MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution
von: Tao, Wei, et al.
Veröffentlicht: (2024)

RepoMaster: Autonomous Exploration and Understanding of GitHub Repositories for Complex Task Solving
von: Wang, Huacan, et al.
Veröffentlicht: (2025)

Imago GitHub training
von: Elsey, Jonathan
Veröffentlicht: (2026)

SwingArena: Competitive Programming Arena for Long-context GitHub Issue Solving
von: Xu, Wendong, et al.
Veröffentlicht: (2025)

SWE-Fixer: Training Open-Source LLMs for Effective and Efficient GitHub Issue Resolution
von: Xie, Chengxing, et al.
Veröffentlicht: (2025)

GitHub Proxy Server: A tool for supporting massive data collection on GitHub
von: Borges, Hudson Silva, et al.
Veröffentlicht: (2025)

Understanding Prompt Management in GitHub Repositories: A Call for Best Practices
von: Li, Hao, et al.
Veröffentlicht: (2025)

Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code Understanding
von: Nevo, Ziv, et al.
Veröffentlicht: (2025)

LLM-based Content Classification Approach for GitHub Repositories by the README Files
von: Mehmood, Malik Uzair, et al.
Veröffentlicht: (2025)

Hidden Entity Detection from GitHub Leveraging Large Language Models
von: Gan, Lu, et al.
Veröffentlicht: (2025)

Using LLMs in Software Design: An Empirical Study of GitHub and A Practitioner Survey
von: Wang, Yifei, et al.
Veröffentlicht: (2026)

Toxicity Ahead: Forecasting Conversational Derailment on GitHub
von: Imran, Mia Mohammad, et al.
Veröffentlicht: (2025)

Prioritising GitHub Priority Labels
von: Caddy, James, et al.
Veröffentlicht: (2024)

METXico Innovation CODE GitHub
von: Xool-Tamayo, Jorge, et al.
Veröffentlicht: (2023)

Guidelines for Developing Bots for GitHub
von: Wessel, Mairieli, et al.
Veröffentlicht: (2022)

"My GitHub Sponsors profile is live!" Investigating the Impact of Twitter/X Mentions on GitHub Sponsors
von: Fan, Youmei, et al.
Veröffentlicht: (2024)

Visual Analysis of GitHub Issues to Gain Insights
von: Proma, Rifat Ara, et al.
Veröffentlicht: (2024)

Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects
von: Pandey, Ruchika, et al.
Veröffentlicht: (2024)

Programming with AI: Evaluating ChatGPT, Gemini, AlphaCode, and GitHub Copilot for Programmers
von: Siam, Md Kamrul, et al.
Veröffentlicht: (2024)

From Hugging Face to GitHub: Tracing License Drift in the Open-Source AI Ecosystem
von: Jewitt, James, et al.
Veröffentlicht: (2025)

The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
von: Song, Fangchen, et al.
Veröffentlicht: (2024)

Data accompanying the GitHub repository: bartonlab/paper-HIV-latent-reservoir
von: Marco Garcia Noceda, et al.
Veröffentlicht: (2025)

How Complex is a GitHub Issue?
von: Anonymous
Veröffentlicht: (2025)

Emoji Promotes Developer Participation and Issue Resolution on GitHub
von: Zhou, Yuhang, et al.
Veröffentlicht: (2023)

GitHub's Copilot Code Review: Can AI Spot Security Flaws Before You Commit?
von: Amro, Amena, et al.
Veröffentlicht: (2025)

The Impact of Sanctions on GitHub Developers and Activities
von: Fan, Youmei, et al.
Veröffentlicht: (2024)

Fingerprinting AI Coding Agents on GitHub
von: Ghaleb, Taher A.
Veröffentlicht: (2026)

Analyzing developer discussions on EU and US privacy legislation compliance in GitHub repositories
von: Kapitsaki, Georgia M., et al.
Veröffentlicht: (2025)

Understanding and Detecting Flaky Builds in GitHub Actions
von: Ge, Wenhao, et al.
Veröffentlicht: (2026)

Evaluating Software Development Agents: Patch Patterns, Code Quality, and Issue Complexity in Real-World GitHub Scenarios
von: Chen, Zhi, et al.
Veröffentlicht: (2024)

Enhancing Open-Domain Task-Solving Capability of LLMs via Autonomous Tool Integration from GitHub
von: Lyu, Bohan, et al.
Veröffentlicht: (2023)

The Impact of AI Tool on Engineering at ANZ Bank An Empirical Study on GitHub Copilot within Corporate Environment
von: Chatterjee, Sayan, et al.
Veröffentlicht: (2024)

Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering
von: Res, Jakub, et al.
Veröffentlicht: (2024)

Where Do AI Coding Agents Fail? An Empirical Study of Failed Agentic Pull Requests in GitHub
von: Ehsani, Ramtin, et al.
Veröffentlicht: (2026)