Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Robani, Mohammad Daffa, Saves, Paul, Palar, Pramudita Satria, Zuhal, Lavi Rizki, Morlier, oseph
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Global Sensitivity Analysis for Engineering Design Based on Individual Conditional Expectations
von: Palar, Pramudita Satria, et al.
Veröffentlicht: (2025)

Frequency-aware Surrogate Modeling With SMT Kernels For Advanced Data Forecasting
von: Gonel, Nicolas, et al.
Veröffentlicht: (2025)

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

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

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

System-of-systems Modeling and Optimization: An Integrated Framework for Intermodal Mobility
von: Saves, Paul, et al.
Veröffentlicht: (2025)

Hierarchical Causal Abduction: A Foundation Framework for Explainable Model Predictive Control
von: Naagarajan, Ramesh Arvind, et al.
Veröffentlicht: (2026)

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

LLMize: A Framework for Large Language Model-Based Numerical Optimization
von: Oktavian, M. Rizki
Veröffentlicht: (2025)

EX-FEVER: A Dataset for Multi-hop Explainable Fact Verification
von: Ma, Huanhuan, et al.
Veröffentlicht: (2023)

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

One Person, One Bot
von: Lavi, Liat
Veröffentlicht: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

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

Right-to-Act: A Pre-Execution Non-Compensatory Decision Protocol for AI Systems
von: Lavi, Gadi
Veröffentlicht: (2026)

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

Joint Explainability-Performance Optimization With Surrogate Models for AI-Driven Edge Services
von: Charalampakos, Foivos, et al.
Veröffentlicht: (2025)

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
von: Lv, Kunhang, et al.
Veröffentlicht: (2026)

SMT(LIA) Sampling with High Diversity
von: Lai, Yong, et al.
Veröffentlicht: (2025)

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

X-DFS: Explainable Artificial Intelligence Guided Design-for-Security Solution Space Exploration
von: Mahfuz, Tanzim, et al.
Veröffentlicht: (2024)

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

Approximate SMT Counting Beyond Discrete Domains
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

GS-Surrogate: Deformable Gaussian Splatting for Parameter Space Exploration of Ensemble Simulations
von: Li, Ziwei, et al.
Veröffentlicht: (2026)

GoEX: Perspectives and Designs Towards a Runtime for Autonomous LLM Applications
von: Patil, Shishir G., et al.
Veröffentlicht: (2024)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem
von: Combrink, Alvin, et al.
Veröffentlicht: (2025)

Neural Operators for Design-Space Surrogate Modeling of Tendon-Actuated Continuum Robots
von: Frieden, Branden, et al.
Veröffentlicht: (2026)

MLE-Toolbox: An Open-Source Toolbox for Comprehensive EEG and MEG Data Analysis
von: Liu, Xiaobo
Veröffentlicht: (2026)

Analyzing Shapley Additive Explanations to Understand Anomaly Detection Algorithm Behaviors and Their Complementarity
von: Levy, Jordan, et al.
Veröffentlicht: (2026)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
von: Davis, Liam, et al.
Veröffentlicht: (2025)

Schema Matching on Graph: Iterative Graph Exploration for Efficient and Explainable Data Integration
von: Jeon, Mingyu, et al.
Veröffentlicht: (2025)

Variable-Agnostic Causal Exploration for Reinforcement Learning
von: Nguyen, Minh Hoang, et al.
Veröffentlicht: (2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2024)

TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks
von: Wang, Zhiruo, et al.
Veröffentlicht: (2024)

ANX: Protocol-First Design for AI Agent Interaction with a Supporting 3EX Decoupled Architecture
von: Mingze, Xu
Veröffentlicht: (2026)

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

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

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