Cover Image

CoqPyt: Proof Navigation in Python in the Era of LLMs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
by: Thompson, Kyle, et al.
Published: (2024)

InfraFix: Technology-Agnostic Repair of Infrastructure as Code
by: Saavedra, Nuno, et al.
Published: (2025)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
by: Gross, Jason, et al.
Published: (2022)

Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)

Environmental Impact of CI/CD Pipelines
by: Saavedra, Nuno, et al.
Published: (2025)

The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
by: Carreira, Carolina, et al.
Published: (2025)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
by: Saavedra, Nuno, et al.
Published: (2023)

LLMs in Code Vulnerability Analysis: A Proof of Concept
by: Sultana, Shaznin, et al.
Published: (2026)

How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
by: Huang, Ruanqianqian, et al.
Published: (2025)

Automated Refactoring of Non-Idiomatic Python Code: A Differentiated Replication with LLMs
by: Midolo, Alessandro, et al.
Published: (2025)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
by: Huang, Ruanqianqian, et al.
Published: (2025)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

CoqPilot, a plugin for LLM-based generation of proofs
by: Kozyrev, Andrei, et al.
Published: (2024)

The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs
by: Bartlett, Antony, et al.
Published: (2025)

Characterizing Python Library Migrations
by: Islam, Mohayeminul, et al.
Published: (2022)

Adaptive Hierarchical Evaluation of LLMs and SAST tools for CWE Prediction in Python
by: Adnan, Muntasir, et al.
Published: (2026)

An Empirical Study of Fault Localization in Python Programs
by: Rezaalipour, Mohammad, et al.
Published: (2023)

Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)

PyTy: Repairing Static Type Errors in Python
by: Chow, Yiu Wai, et al.
Published: (2024)

An Empirical Study on Package-Level Deprecation in Python Ecosystem
by: Zhong, Zhiqing, et al.
Published: (2024)

FauxPy: A Fault Localization Tool for Python
by: Rezaalipour, Mohammad, et al.
Published: (2024)

OWLAPY: A Pythonic Framework for OWL Ontology Engineering
by: Baci, Alkid, et al.
Published: (2025)

A Taxonomy of Inefficiencies in LLM-Generated Python Code
by: Abbassi, Altaf Allah, et al.
Published: (2025)

B-OCL: An Object Constraint Language Interpreter in Python
by: Haq, Fitash Ul, et al.
Published: (2025)

Bugs in the Shadows: Static Detection of Faulty Python Refactorings
by: Oliveira, Jonhnanthan, et al.
Published: (2025)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
by: Orvalho, Pedro, et al.
Published: (2025)

APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
by: Pereira, André, et al.
Published: (2026)

Fine-Tuning LLMs for Code Mutation: A New Era of Cyber Threats
by: Setak, Mohammad, et al.
Published: (2024)

evomap: A Toolbox for Dynamic Mapping in Python
by: Matthe, Maximilian
Published: (2025)

PCART: Automated Repair of Python API Parameter Compatibility Issues
by: Zhang, Shuai, et al.
Published: (2024)

DyPyBench: A Benchmark of Executable Python Software
by: Bouzenia, Islem, et al.
Published: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
by: Krodinger, Lukas, et al.
Published: (2025)

Scalable and Precise Application-Centered Call Graph Construction for Python
by: Huang, Kaifeng, et al.
Published: (2023)

Search-based Hyperparameter Tuning for Python Unit Test Generation
by: Lukasczyk, Stephan, et al.
Published: (2025)

Quality Assessment of Python Tests Generated by Large Language Models
by: Alves, Victor, et al.
Published: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

Selene: Pioneering Automated Proof in Software Verification
by: Zhang, Lichen, et al.
Published: (2024)

Towards Operation Proof Obligation Generation for VDM
by: Battle, Nick, et al.
Published: (2025)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)