2 papers
cs.CL2023
Matching Pairs: Attributing Fine-Tuned Models to their Pre-Trained Large Language Models
Myles Foley, Ambrish Rawat, Taesung Lee +3
The wide applicability and adaptability of generative large language models (LLMs) has enabled their rapid adoption. While the pre-trained models can perform many tasks, such model…
cs.CL2021
Neural Unification for Logic Reasoning over Natural Language
Gabriele Picco, Hoang Thanh Lam, Marco Luca Sbodio +1
Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (fac…