Work

Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Software Engineering (ICSE)

DOI: 10.1109/icse55347.2025.00116

Authors: Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao

Institutions: Peking University, Chinese Academy of Sciences, Institute of Software

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411552310

FWCI: 2.951

Cites: 52

Cited by: 3

Related to: 10