Cover Image

SMT-EX: An Explainable Surrogate Modeling Toolbox for Mixed-Variables Design Exploration

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Robani, Mohammad Daffa, Saves, Paul, Palar, Pramudita Satria, Zuhal, Lavi Rizki, Morlier, oseph
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Surrogate Modeling and Explainable Artificial Intelligence for Complex Systems: A Workflow for Automated Simulation Exploration
by: Saves, Paul, et al.
Published: (2025)

Interpretable and Explainable Surrogate Modeling for Simulations: A State-of-the-Art Survey and Perspectives on Explainable AI for Decision-Making
by: Palar, Pramudita Satria, et al.
Published: (2026)

Global Sensitivity Analysis for Engineering Design Based on Individual Conditional Expectations
by: Palar, Pramudita Satria, et al.
Published: (2025)

Frequency-aware Surrogate Modeling With SMT Kernels For Advanced Data Forecasting
by: Gonel, Nicolas, et al.
Published: (2025)

SMT 2.0: A Surrogate Modeling Toolbox with a focus on Hierarchical and Mixed Variables Gaussian Processes
by: Saves, Paul, et al.
Published: (2023)

High-dimensional mixed-categorical Gaussian processes with application to multidisciplinary design optimization for a green aircraft
by: Saves, Paul, et al.
Published: (2023)

From Model-Based Screening to Data-Driven Surrogates: A Multi-Stage Workflow for Exploring Stochastic Agent-Based Models
by: Saves, Paul, et al.
Published: (2026)

System-of-systems Modeling and Optimization: An Integrated Framework for Intermodal Mobility
by: Saves, Paul, et al.
Published: (2025)

Hierarchical Causal Abduction: A Foundation Framework for Explainable Model Predictive Control
by: Naagarajan, Ramesh Arvind, et al.
Published: (2026)

Modèles de Substitution pour les Modèles à base d'Agents : Enjeux, Méthodes et Applications
by: Saves, Paul, et al.
Published: (2025)

LLMize: A Framework for Large Language Model-Based Numerical Optimization
by: Oktavian, M. Rizki
Published: (2025)

EX-FEVER: A Dataset for Multi-hop Explainable Fact Verification
by: Ma, Huanhuan, et al.
Published: (2023)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
by: Baheri, Ali, et al.
Published: (2026)

One Person, One Bot
by: Lavi, Liat
Published: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

Enhancing SMT-based Weighted Model Integration by Structure Awareness
by: Spallitta, Giuseppe, et al.
Published: (2023)

Right-to-Act: A Pre-Execution Non-Compensatory Decision Protocol for AI Systems
by: Lavi, Gadi
Published: (2026)

Contact framework for total Lagrangian smoothed particle hydrodynamics using an adaptive hybrid kernel scheme
by: I Made Wiragunarsa, et al.
Published: (2024)

Joint Explainability-Performance Optimization With Surrogate Models for AI-Driven Edge Services
by: Charalampakos, Foivos, et al.
Published: (2025)

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
by: Lv, Kunhang, et al.
Published: (2026)

SMT(LIA) Sampling with High Diversity
by: Lai, Yong, et al.
Published: (2025)

Adaptive Agents in Spatial Double-Auction Markets: Modeling the Emergence of Industrial Symbiosis
by: Mastio, Matthieu, et al.
Published: (2025)

X-DFS: Explainable Artificial Intelligence Guided Design-for-Security Solution Space Exploration
by: Mahfuz, Tanzim, et al.
Published: (2024)

Automated Process Planning Based on a Semantic Capability Model and SMT
by: Köcher, Aljosha, et al.
Published: (2023)

Approximate SMT Counting Beyond Discrete Domains
by: Shaw, Arijit, et al.
Published: (2025)

GS-Surrogate: Deformable Gaussian Splatting for Parameter Space Exploration of Ensemble Simulations
by: Li, Ziwei, et al.
Published: (2026)

GoEX: Perspectives and Designs Towards a Runtime for Autonomous LLM Applications
by: Patil, Shishir G., et al.
Published: (2024)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem
by: Combrink, Alvin, et al.
Published: (2025)

Neural Operators for Design-Space Surrogate Modeling of Tendon-Actuated Continuum Robots
by: Frieden, Branden, et al.
Published: (2026)

MLE-Toolbox: An Open-Source Toolbox for Comprehensive EEG and MEG Data Analysis
by: Liu, Xiaobo
Published: (2026)

Analyzing Shapley Additive Explanations to Understand Anomaly Detection Algorithm Behaviors and Their Complementarity
by: Levy, Jordan, et al.
Published: (2026)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)

Schema Matching on Graph: Iterative Graph Exploration for Efficient and Explainable Data Integration
by: Jeon, Mingyu, et al.
Published: (2025)

Variable-Agnostic Causal Exploration for Reinforcement Learning
by: Nguyen, Minh Hoang, et al.
Published: (2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
by: Chakraborty, Saikat, et al.
Published: (2024)

TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks
by: Wang, Zhiruo, et al.
Published: (2024)

ANX: Protocol-First Design for AI Agent Interaction with a Supporting 3EX Decoupled Architecture
by: Mingze, Xu
Published: (2026)

Reveal-to-Revise: Explainable Bias-Aware Generative Modeling with Multimodal Attention
by: Mohammad, Noor Islam S., et al.
Published: (2025)

Temporal Sepsis Modeling: a Relational and Explainable-by-Design Framework
by: Lemaire, Vincent, et al.
Published: (2026)

LTSM-Bundle: A Toolbox and Benchmark on Large Language Models for Time Series Forecasting
by: Chuang, Yu-Neng, et al.
Published: (2024)