pal2inv
Abstract
We provide all tools we run in the experiments. We update the README.md of PAL2INV, and provide the experiment data of another two new tools, i.e., CPAChecker and UltimateAutomizer. LaM4Inv contains all experiment results and its organizational structure is similar to PAL2INV. The experimental data from other tools have been processed and summarized in PAL2INV/Result/time-data. We also provide the prompts in promt.tex. For more details, please refer to PAL2INV/Generate/GPT.py.
Fields of Study & Subjects
Topic Modeling
Natural Language Processing Techniques
Mathematics
Computing
and Information Processing
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 23 November 2026