# Modeling Different models can fit the same observations yet imply different mechanisms or predictions. This review examines how observation assumptions, imposed structure and learned components affect what a model can explain or predict. Forecasting, ensembles and causal effects have separate reviews. 🔒 Full text at this link requires payment or institutional access. Unmarked links may be unchecked. ## Modeling goals - **The two cultures** - Breiman contrasts assumed stochastic data models with algorithms assessed by predictive accuracy. He argues for testing predictions and using a wider range of models instead of relying on goodness of fit within an assumed family. [Breiman 2001]( "Statistical Modeling: The Two Cultures (with comments and a rejoinder by the author); Statist. Sci."). - **Explanation and prediction** - Shmueli shows how explanatory and predictive goals change variable selection, fitting and validation. An underspecified model can predict better than a correctly specified one. Predictive accuracy does not establish a causal explanation. [Shmueli 2010]( "To Explain or to Predict?; Statist. Sci."). ## Observation models ### Linear and generalized linear models - **Least squares and ridge** - Least squares minimizes squared prediction errors; ridge adds a squared-coefficient penalty to stabilize fits with correlated predictors. [docs](). - **Generalized linear models** - Connects an exponential-family response mean to a linear predictor through a link function. Unifies models fitted by iteratively weighted linear regression. [Nelder and Wedderburn 1972]( "Generalized Linear Models; JRSS A"). - **Generalized linear mixed models** - Adds random effects to GLMs for correlated observations and overdispersion. Breslow-Clayton develops approximate inference using penalized quasi-likelihood. [Breslow and Clayton 1993]( "Approximate Inference in Generalized Linear Mixed Models; JASA"). - **Lasso** - Constrains the sum of absolute regression coefficients, shrinking some exactly to zero. Combines estimation and variable selection. [Tibshirani 1996]( "Regression Shrinkage and Selection Via the Lasso; JRSS B"). - **Logistic regression** - Models binary class probability through a logistic link applied to a linear score. The documented implementation also supports multiclass classification and regularization. [docs](). - **Elastic net** - Combines L1 and L2 penalties, allowing sparse coefficients while retaining ridge-style shrinkage. A useful alternative to lasso for correlated predictors. [Zou and Hastie 2005]( "Regularization and Variable Selection Via the Elastic Net; JRSS B"); [docs](). - **Tests as linear models** - Worked connections between regression, t-tests, correlation and ANOVA. Rank-based analogues are also discussed; some equivalences are approximate. [Lindeløv 2019]( "Common statistical tests are linear models (or: how to teach stats); online article"). ### Survival analysis - **Kaplan-Meier** - Estimates a survival curve from incomplete lifetime observations using a product-limit estimator. Independent censoring is a substantive assumption, explicitly discussed in the paper. [Kaplan and Meier 1958]( "Nonparametric Estimation from Incomplete Observations; JASA"). - **Cox regression** - Models covariate effects as multipliers of an unspecified baseline hazard. Handles censored event times without choosing a parametric baseline distribution. [Cox 1972]( "Regression Models and Life-Tables; JRSS B"). - **DeepSurv** - Uses a neural network for the risk function in a Cox proportional-hazards model, allowing nonlinear covariate interactions in survival prediction. [Katzman et al. 2018]( "DeepSurv: Personalized Treatment Recommender System Using A Cox Proportional Hazards Deep Neural Network; BMC Med Res Methodol"). - **Distributional ensembles** - See [Ensemble Learning](https://mlpapers.org/ensemble-learning/#distributional-prediction-and-statistical-estimation) for quantile regression forests and NGBoost. - **Treatment effects** - See [Causal Inference](https://mlpapers.org/causal-inference/#treatment-effect-estimation-with-machine-learning) for heterogeneous effects and meta-learners. ## Flexible predictors ### Additive models and adaptive splines - **Generalized additive models** - Replaces a GLM's linear predictor terms with smooth functions of individual inputs. Local scoring extends additive regression to different response distributions. [Hastie and Tibshirani 1986]( "Generalized Additive Models; Statist. Sci."). - **MARS** - Builds regression models from products of spline basis functions, selecting their number, variables and knot locations from data. Separates additive contributions from interactions. [Friedman 1991]( "Multivariate Adaptive Regression Splines; Ann. Statist."). - **Intelligible classification and regression** - Studies additive models whose individual feature contributions can be plotted, comparing fitting methods and the accuracy cost of restricting interactions. [Lou et al. 2012]( "Intelligible models for classification and regression; KDD"). - **GAMs with autoregressive terms** - Combines nonlinear covariate terms with autoregression for serially correlated outcomes. Demonstrated on temperature and daily mortality. [Yang et al. 2012]( "Using a generalized additive model with autoregressive terms to study the effects of daily temperature on mortality; BMC Med Res Methodol"). - **GA2M** - Extends additive models with selected pairwise interactions. FAST ranks candidate feature pairs, keeping explanations as one- and two-dimensional functions. [Lou et al. 2013]( "Accurate intelligible models with pairwise interactions; KDD"). - **Intelligible healthcare models** - Pneumonia and readmission case studies use additive models with pairwise interactions to expose unexpected learned associations and revise models. [Caruana et al. 2015]( "Intelligible Models for HealthCare: Predicting Pneumonia Risk and Hospital 30-day Readmission; KDD"). - **Neural Additive Models** - Jointly trains a separate neural network for each input feature, then combines their outputs linearly. Learns flexible univariate shapes while preserving additive structure. [Agarwal et al. 2021]( "Neural Additive Models: Interpretable Machine Learning with Neural Nets; NeurIPS"). - **How trustworthy are GAMs?** - Shows that similarly accurate GAMs can learn conflicting feature shapes. Compares inductive biases, sparsity and behavior on rare subpopulations; accuracy alone does not validate an explanation. [Chang et al. 2021]( "How Interpretable and Trustworthy are GAMs?; KDD"). ### Trees and tabular prediction - **CART** - Recursively partitions feature space into regions with simple predictions. Depth and pruning control complexity; individual trees can be unstable under changes to training data. [docs](). - **Bayesian additive regression trees** - Represents a response as a sum of trees with a regularization prior that keeps individual trees weak. Bayesian backfitting samples the model and its predictive uncertainty. [Chipman et al. 2010]( "BART: Bayesian additive regression trees; Ann. Appl. Stat."). - **TabPFN: original classifier** - Pretrains a transformer on synthetic classification tasks. At inference, labeled training rows provide context for predictions without updating the model weights; the original scope is small tabular datasets. [Hollmann et al. 2023]( "TabPFN: A Transformer That Solves Small Tabular Classification Problems in a Second; ICLR"). - **TabPFN: classification and regression** - Extends prior-data-fitted tabular prediction to regression, categorical inputs and missing values. A pretrained transformer performs in-context prediction from labeled examples. [Hollmann et al. 2025]( "Accurate predictions on small data with a tabular foundation model; Nature"). - **TabICL** - Combines representations of table rows with a transformer for in-context classification. Synthetic-task pretraining supports prediction on new tables without task-specific weight updates. [Qu et al. 2025]( "TabICL: A Tabular Foundation Model for In-Context Learning on Large Data; ICML"). - **Repeated measurements** - At low noise, repeats can harm new-input prediction. IID priors linking inputs and responses count repeats as fresh input evidence even with exact inference; TabPFN-v3's row-count-dependent attention adds harm. Averaging often helps with many repeats. [Liu et al. 2026]( "When Repeated Measurements Hurt Tabular Foundation Models; arXiv"). - **Tabular-model compression** - Fits affine replacements to target-table activations. Across eight models and 171 classification datasets, halving depth costs at most 0.002 median AUROC per model; single-block regression deteriorates more sharply. [Cannistraci and Vogt 2026]( "Tabular Foundation Models Are Effectively Shallow; arXiv"). - **Tabular ensembles** - See [Ensemble Learning](https://mlpapers.org/ensemble-learning/) for random forests, XGBoost, CatBoost and TabM. ### Local and conditional-independence classifiers - **Nearest-neighbor classification** - Predicts from nearby labeled examples. Cover and Hart bound asymptotic one-neighbor error by twice Bayes error under their assumptions; this is neither a finite-sample guarantee nor a guarantee for an arbitrary learned distance. [Cover and Hart 1967]( "Nearest neighbor pattern classification; IEEE Trans. Inform. Theory"). - **Naive Bayes** - Multiplies class-conditional feature probabilities under an independence model. Domingos and Pazzani show that correct class decisions can survive some dependence violations even when estimated probabilities are inaccurate. [Domingos and Pazzani 1997]( "On the Optimality of the Simple Bayesian Classifier under Zero-One Loss; Mach. Learn."). ### Support-vector methods - **Support-vector networks** - Constructs a linear decision surface in a nonlinear feature space and extends the approach to nonseparable training data. A foundation for kernel-based classification. [Cortes and Vapnik 1995]( "Support-vector networks; Mach. Learn."). - **SVM implementations** - Linear and kernel classification, regression and outlier detection. Decision scores are not probabilities; probability estimation adds a separate fitting step. [docs](). ## State-space and sequence models - **Kalman filtering** - Formulates linear filtering through state transitions and recursive error-covariance updates. Treats stationary and nonstationary prediction problems in a common framework. [Kalman 1960]( "A New Approach to Linear Filtering and Prediction Problems; Journal of Basic Engineering"). - **Dynamic time warping** - Aligns sequences by optimizing a nonlinear time-warping path with dynamic programming. Sakoe-Chiba studies path constraints for spoken-word matching; this is an alignment method, not a forecasting model. [Sakoe and Chiba 1978]( "Dynamic programming algorithm optimization for spoken word recognition; IEEE Trans. Acoust., Speech, Signal Process."). - **Hidden Markov models** - Rabiner reviews Markov models with hidden states and probabilistic observations, with applications to speech recognition. A reference for the model's statistical structure and inference problems. [Rabiner 1989]( "A tutorial on hidden Markov models and selected applications in speech recognition; Proc. IEEE"). - **Infinite HMM** - Uses Dirichlet processes to extend HMMs to countably many possible hidden states, integrating out transition parameters rather than fixing a finite state count in advance. [Beal et al. 2001]( "The Infinite Hidden Markov Model; NeurIPS"). ## Mechanistic and learned components ### Dynamical and mechanistic models - **SIR epidemic dynamics** - Models infection and removal in a susceptible population under simplifying assumptions about contact and immunity. Epidemics can end while susceptible individuals remain. [Kermack and McKendrick 1927]( "A contribution to the mathematical theory of epidemics; Proc. R. Soc. A"). - **Predator-prey inference** - Fits Lotka-Volterra differential equations with a statistical observation model to lynx-hare pelt counts. Demonstrates Bayesian parameter inference and posterior predictive checks. [docs](). - **Lorenz dynamics** - Studies a deterministic nonlinear convection model whose nearby initial states can diverge. Connects nonperiodic dynamics to limits of long-range prediction. [Lorenz 1963]( "Deterministic Nonperiodic Flow; J. Atmos. Sci."). - **Bass diffusion** - Models initial product adoption using innovative and imitative behavior: purchase timing depends on previous buyers. The original study tests the model on consumer durables. [Bass 1969]( "A New Product Growth for Model Consumer Durables; Management Science"). - **Bass model retrospective** - Reviews the origins, applications and extensions of the product-diffusion model, identifying subsequent research directions. [Bass 2004]( "Comments on “A New Product Growth for Model Consumer Durables The Bass Model”; Management Science"). - **Simple discrete dynamics** - Shows how simple first-order nonlinear difference equations can produce stable equilibria, cycles or irregular fluctuations. A foundation for studying deterministic complexity. [May 1976 🔒]( "Simple mathematical models with very complicated dynamics; Nature"). - **DICE** - Describes an integrated climate-economy model for dynamic optimization of climate policy. Documents the structure and assumptions behind its cost-benefit analysis. [Nordhaus 1992]( "The ‘Dice’ Model: Background and Structure of a Dynamic Integrated Climate-Economy Model of the Economics of Global Warming; Cowles discussion paper"). ### Calibration and model discrepancy - **Bayesian calibration** - Fits simulator parameters to physical observations while accounting for their remaining uncertainty. A discrepancy term represents systematic differences between the simulator and reality that adjusting parameters alone cannot remove. [Kennedy and O'Hagan 2001]( "Bayesian calibration of computer models; JRSS B"). - **Model discrepancy and identifiability** - Ignoring simulator error can bias parameters and overstate certainty. Adding a discrepancy function can improve predictions without identifying physical parameters. Recovering them requires informative assumptions about the discrepancy. [Brynjarsdóttir and O'Hagan 2014 🔒]( "Learning about physical parameters: the importance of model discrepancy; Inverse Problems"). - **Hybrid scientific models** - See [Scientific ML](https://mlpapers.org/scientific-machine-learning/#problems-and-mathematical-structure) for learned components constrained by physical models, and [Symbolic Regression](https://mlpapers.org/symbolic-regression/#sparse-dynamical-system-identification) for discovering dynamical equations. ## Software - **rpart** - R implementation of recursive partitioning for classification, regression and survival trees, based on CART. [code](). - **party** - R toolbox for conditional-inference trees, forests and model-based recursive partitioning. Supports response types including censored and multivariate outcomes. [code](). - **mgcv** - R implementation of generalized additive and additive mixed models, with smoothing-parameter estimation and several response-distribution families. [code](). ## Related topics - [Neural Networks](https://mlpapers.org/neural-nets/) - [Ensemble Learning](https://mlpapers.org/ensemble-learning/) - [Bayesian Networks](https://mlpapers.org/bayesian-nets/) - [Interpretability](https://mlpapers.org/interpretability/) - [Optimization](https://mlpapers.org/optimization/) - [Clustering](https://mlpapers.org/clustering/) - [Time Series Forecasting](https://mlpapers.org/time-series-forecasting/) - [Evaluation](https://mlpapers.org/evaluation/) - [Causal Inference](https://mlpapers.org/causal-inference/) - [Scientific ML](https://mlpapers.org/scientific-machine-learning/) - [Symbolic Regression](https://mlpapers.org/symbolic-regression/)