Loading...
Loading...
Mathematical datasets, statistical benchmarks, probability, optimization, operations research
2,485 datasets
mrgsolve enables fast simulation from ordinary differential equation (ODE) based models. The tool is typically employed in quantitative pharmacology and systems biology research. It was authored by Kyle Baron and is listed on the paperswithcode platform.
SIBER (Stable Isotope Bayesian Ellipses in R) is a dataset for fitting bivariate ellipses to stable isotope data using Bayesian inference. The dataset is designed to describe and compare isotopic niches, likely for ecological or environmental research. It was created by Andrew L. Jackson and is hosted on the Papers with Code platform.
A Pure R implementation of Bayesian Global Optimization with Gaussian Processes, authored by Yachen Yan. The dataset is sourced from the paperswithcode platform, which aggregates resources for AI and machine learning practitioners. The specific scale, temporal coverage, and geographic scope of the underlying data are not detailed in the provided metadata.
bsam provides tools to fit Bayesian state-space models to animal tracking data. The models are primarily intended for ARGOS satellite tracking data but can be adapted for other tracking types. The package was authored by Ian D. Jonsen.
Microdatasus is an R package providing direct access to microdata from Brazil's Unified National Health System (SUS). The algorithm downloads and preprocesses data from various health information systems, including automatic labeling of categorical fields. This enables a continuous workflow for analyzing health data within the R statistical environment.
The BMA package provides tools for Bayesian model averaging and variable selection. It was authored by Adrian Raftery and is hosted on the paperswithcode platform. The package supports linear models, generalized linear models, and survival models like Cox regression.
A menu-driven program and library of functions for carrying out convergence diagnostics and statistical and graphical analysis of Markov chain Monte Carlo sampling output. The software, authored by Bruce A. Smith, is designed for the post-processing of MCMC simulation results.
HH is an R software package supporting the textbooks 'Statistical Analysis and Data Display' by Richard M. Heiberger and Burt Holland. The package contains all functions introduced in the book and R code for all examples, including graphs and tables, from both the 2004 first edition and the 2015 second edition. The contemporary presentation emphasizes graphical displays for data exploration and analysis.
Dirk Roorda's Ph.D thesis explores formal systems in mathematical logic, including Linear Logic, Modal Logic, and the Lambek Calculus. The work is sourced from the paperswithcode platform, which aggregates academic resources for AI/ML practitioners. The specific data format, size, and update date are not provided in the metadata.
A merged dataset for theorem proving combines problem statements from internlm/Lean-Workbook with full proofs from Goedel-LM/Lean-workbook-proofs. It also includes a human-annotated subset from AI-MO/NuminaMath-LEAN. The dataset was last updated on February 11, 2026.
IMO-AnswerBench is a benchmark dataset for evaluating mathematical reasoning in large language models. It consists of 400 challenging short-answer problems from the International Mathematical Olympiad and other sources. The dataset was released by Google DeepMind in conjunction with their 2025 IMO gold medal achievement and is hosted by OpenEvals.
A benchmark dataset for the Metacognition Track, likely containing time-series data for statistical mechanism inference. The dataset is hosted on Kaggle and is tagged for confidence, statistics, and forecasting applications. Specific details on volume, authorship, and temporal coverage are not provided in the input.
A mathematical analysis of flat maxima phenomena within linear optimization models, authored by Detlof von Winterfeldt. The dataset likely contains theoretical or computational results exploring the properties and implications of these maxima. It is published on the paperswithcode platform, which aggregates research datasets.
A collection of research papers and associated code related to statistical analysis and data mining, aggregated from the paperswithcode platform. The dataset is authored by John P. Elder, though the specific number of papers, temporal coverage, and organizational source are not detailed in the available metadata. Its content likely includes academic publications and implementations for data science methodologies.
A psychological scale measuring statistical anxiety, authored by Andreu Vigil‐Colet. The dataset is published on the paperswithcode platform. The number of rows, columns, and temporal coverage are unknown.
A research dataset on teacher understanding and classroom changes related to mathematical problem solving. The dataset is authored by Brian M. Stecher and is hosted on the paperswithcode platform. The specific content, size, and temporal coverage require verification after download.
Final Report on The Army's Human Terrain System Proof of Concept Program was authored by the AAA Commission on the Engagement of Anthropology with the US Security and Intelligence Communities (CEAUSSIC). The document likely contains analysis and findings from a military program focused on socio-cultural understanding. Its specific content, length, and publication date are not detailed in the provided metadata.
A dataset likely associated with research on statistical methods for identifying random or careless responses in surveys. It was published on paperswithcode by Clay Ehlers. The specific content, size, and structure are unknown.
Distribution-free statistical tests, also known as non-parametric tests, are methods for hypothesis testing that do not assume a specific underlying data distribution. The dataset is associated with a paper by author James V. Bradley and is listed on the paperswithcode platform. Its specific contents, such as sample data or implementation code, are not detailed in the available metadata.
A research paper titled 'A Bayesian Account of Reconstructive Memory' authored by Mark Steyvers. The paper is hosted on the paperswithcode platform, which aggregates academic resources for machine learning. The specific content and data formats are not detailed in the provided metadata.