Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Robani, Mohammad Daffa, Saves, Paul, Palar, Pramudita Satria, Zuhal, Lavi Rizki, Morlier, oseph
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Surrogate Modeling and Explainable Artificial Intelligence for Complex Systems: A Workflow for Automated Simulation Exploration
par: Saves, Paul, et autres
Publié: (2025)

Interpretable and Explainable Surrogate Modeling for Simulations: A State-of-the-Art Survey and Perspectives on Explainable AI for Decision-Making
par: Palar, Pramudita Satria, et autres
Publié: (2026)

Global Sensitivity Analysis for Engineering Design Based on Individual Conditional Expectations
par: Palar, Pramudita Satria, et autres
Publié: (2025)

Frequency-aware Surrogate Modeling With SMT Kernels For Advanced Data Forecasting
par: Gonel, Nicolas, et autres
Publié: (2025)

SMT 2.0: A Surrogate Modeling Toolbox with a focus on Hierarchical and Mixed Variables Gaussian Processes
par: Saves, Paul, et autres
Publié: (2023)

High-dimensional mixed-categorical Gaussian processes with application to multidisciplinary design optimization for a green aircraft
par: Saves, Paul, et autres
Publié: (2023)

From Model-Based Screening to Data-Driven Surrogates: A Multi-Stage Workflow for Exploring Stochastic Agent-Based Models
par: Saves, Paul, et autres
Publié: (2026)

System-of-systems Modeling and Optimization: An Integrated Framework for Intermodal Mobility
par: Saves, Paul, et autres
Publié: (2025)

Hierarchical Causal Abduction: A Foundation Framework for Explainable Model Predictive Control
par: Naagarajan, Ramesh Arvind, et autres
Publié: (2026)

Modèles de Substitution pour les Modèles à base d'Agents : Enjeux, Méthodes et Applications
par: Saves, Paul, et autres
Publié: (2025)

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

EX-FEVER: A Dataset for Multi-hop Explainable Fact Verification
par: Ma, Huanhuan, et autres
Publié: (2023)

One Person, One Bot
par: Lavi, Liat
Publié: (2025)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
par: Baheri, Ali, et autres
Publié: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
par: Bartholomew, Michael, et autres
Publié: (2025)

Enhancing SMT-based Weighted Model Integration by Structure Awareness
par: Spallitta, Giuseppe, et autres
Publié: (2023)

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

Contact framework for total Lagrangian smoothed particle hydrodynamics using an adaptive hybrid kernel scheme
par: I Made Wiragunarsa, et autres
Publié: (2024)

Joint Explainability-Performance Optimization With Surrogate Models for AI-Driven Edge Services
par: Charalampakos, Foivos, et autres
Publié: (2025)

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
par: Lv, Kunhang, et autres
Publié: (2026)

SMT(LIA) Sampling with High Diversity
par: Lai, Yong, et autres
Publié: (2025)

Adaptive Agents in Spatial Double-Auction Markets: Modeling the Emergence of Industrial Symbiosis
par: Mastio, Matthieu, et autres
Publié: (2025)

X-DFS: Explainable Artificial Intelligence Guided Design-for-Security Solution Space Exploration
par: Mahfuz, Tanzim, et autres
Publié: (2024)

Automated Process Planning Based on a Semantic Capability Model and SMT
par: Köcher, Aljosha, et autres
Publié: (2023)

Approximate SMT Counting Beyond Discrete Domains
par: Shaw, Arijit, et autres
Publié: (2025)

GS-Surrogate: Deformable Gaussian Splatting for Parameter Space Exploration of Ensemble Simulations
par: Li, Ziwei, et autres
Publié: (2026)

GoEX: Perspectives and Designs Towards a Runtime for Autonomous LLM Applications
par: Patil, Shishir G., et autres
Publié: (2024)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem
par: Combrink, Alvin, et autres
Publié: (2025)

Neural Operators for Design-Space Surrogate Modeling of Tendon-Actuated Continuum Robots
par: Frieden, Branden, et autres
Publié: (2026)

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

Analyzing Shapley Additive Explanations to Understand Anomaly Detection Algorithm Behaviors and Their Complementarity
par: Levy, Jordan, et autres
Publié: (2026)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
par: Davis, Liam, et autres
Publié: (2025)

Schema Matching on Graph: Iterative Graph Exploration for Efficient and Explainable Data Integration
par: Jeon, Mingyu, et autres
Publié: (2025)

Variable-Agnostic Causal Exploration for Reinforcement Learning
par: Nguyen, Minh Hoang, et autres
Publié: (2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks
par: Wang, Zhiruo, et autres
Publié: (2024)

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

Reveal-to-Revise: Explainable Bias-Aware Generative Modeling with Multimodal Attention
par: Mohammad, Noor Islam S., et autres
Publié: (2025)

Temporal Sepsis Modeling: a Relational and Explainable-by-Design Framework
par: Lemaire, Vincent, et autres
Publié: (2026)

An Integrated Toolbox for Creating Neuromorphic Edge Applications
par: Niedermeier, Lars, et autres
Publié: (2024)