The method "Model Elimination" of D.W.Loveland explained
Logic in Computer Science
2016-06-30 v2
Authors:
Michel Lévy
Abstract
We present concisely the method "Model Elimination" of D.W.Loveland. Especially, we explain and prove the correctness of the lemmas generated by this method.
Cite
@article{arxiv.1603.07458,
title = {The method "Model Elimination" of D.W.Loveland explained},
author = {Michel Lévy},
journal= {arXiv preprint arXiv:1603.07458},
year = {2016}
}
Related papers
View all related →
Machine Learning · Computer Science
Feature Removal Is a Unifying Principle for Model Explanation Methods
Ian Covert, Scott Lundberg, Su-In Lee
2022-08-24
Machine Learning · Computer Science
Explaining by Removing: A Unified Framework for Model Explanation
Ian Covert, Scott Lundberg, Su-In Lee
2022-05-16
Computer Vision and Pattern Recognition · Computer Science
Are Explanations Helpful? A Comparative Analysis of Explainability Methods in Skin Lesion Classifiers
Rosa Y. G. Paccotacya-Yanque, Alceu Bissoto, Sandra Avila
2026-04-21
Logic in Computer Science · Computer Science
On the convergence of reduction-based and model-based methods in proof theory
Gilles Dowek
2023-05-03
Machine Learning · Computer Science
Approximate Data Deletion from Machine Learning Models
Zachary Izzo, Mary Anne Smart, Kamalika Chaudhuri, James Zou
2021-02-24
Logic in Computer Science · Computer Science
Lemmas: Generation, Selection, Application
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
2024-01-17
Combinatorics · Mathematics
A combinatorial proof of the Removal Lemma for Groups
Daniel Král', Oriol Serra, Lluís Vena
2008-05-01
Computation and Language · Computer Science
Emptying the Ocean with a Spoon: Should We Edit Models?
Yuval Pinter, Michael Elhadad
2023-10-19
Combinatorics · Mathematics
General removal lemma
Fedor Petrov
2013-09-17
Artificial Intelligence · Computer Science
Method-Based Reasoning for Large Language Models: Extraction, Reuse, and Continuous Improvement
Hong Su
2025-08-21
Numerical Analysis · Mathematics
Nonlinear model order reduction via Dynamic Mode Decomposition
Alessandro Alla, J. Nathan Kutz
2016-02-17
Representation Theory · Mathematics
A generalization of Lazard's elimination theorem
Elizabeth Jurisich, Robert L. Wilson
2013-12-09
History and Overview · Mathematics
Direct and indirect methods of proof. The Lehmus-Steiner theorem
Vesselka Mihova, Julia Ninova
2015-01-06
Computation and Language · Computer Science
Explainability for Large Language Models: A Survey
Haiyan Zhao, Hanjie Chen, Fan Yang, Ninghao Liu +5
2023-11-30
Artificial Intelligence · Computer Science
Large Language Models and Explainable Law: a Hybrid Methodology
Marco Billi, Alessandro Parenti, Giuseppe Pisano, Marco Sanchi
2023-11-21
Artificial Intelligence · Computer Science
Large Language Models as Nondeterministic Causal Models
Sander Beckers
2026-04-21
Computer Vision and Pattern Recognition · Computer Science
Scientific Discovery by Generating Counterfactuals using Image Translation
Arunachalam Narayanaswamy, Subhashini Venugopalan, Dale R. Webster, Lily Peng +9
2020-07-21
Machine Learning · Computer Science
LEMMA: Learning from Errors for MatheMatical Advancement in LLMs
Zhuoshi Pan, Yu Li, Honglin Lin, Qizhi Pei +6
2025-06-02
Computational Physics · Physics
Iterative method for solution of radiation emission/transmission matrix equations
Clinton DeW. Van Siclen
2011-01-06
Machine Learning · Computer Science
Interpretability via Model Extraction
Osbert Bastani, Carolyn Kim, Hamsa Bastani
2018-03-14
Logic · Mathematics
Separating Principles Below WKL0
Stephen Flood, Henry Towsner
2014-10-20
Numerical Analysis · Mathematics
Automatic model generation
Tibor Nagy, János Tóth, Tamás Ladics
2019-04-03
Machine Learning · Computer Science
A Formal Approach to Explainability
Lior Wolf, Tomer Galanti, Tamir Hazan
2020-01-16
Computation and Language · Computer Science
Finding Answers in Thought Matters: Revisiting Evaluation on Large Language Models with Reasoning
Hwiyeol Jo, Joosung Lee, Jaehone Lee, Sang-Woo Lee +2
2025-10-17
Numerical Analysis · Mathematics
Model Reduction by Rational Interpolation
Christopher Beattie, Serkan Gugercin
2014-09-18