paper-with-me

홈 › Papers

A Robust Scientific Machine Learning for Optimization: A Novel Robustness Theorem

2022-09-13 · Luana P. Queiroz, Carine M. Rebello, Erber A. Costa, Vinicius V. Santana, Alirio E. Rodrigues, Ana M. Ribeiro, Idelfonso B. R. Nogueira

Scientific machine learning (SciML) is a field of increasing interest in several different application fields. In an optimization context, SciML-based tools have enabled the development of more efficient optimization methods. However, implementing SciML tools for optimization must be rigorously evaluated and performed with caution. This work proposes the deductions of a robustness test that guarantees the robustness of multiobjective SciML-based optimization by showing that its results respect the universal approximator theorem. The test is applied in the framework of a novel methodology which is evaluated in a series of benchmarks illustrating its consistency. Moreover, the proposed methodology results are compared with feasible regions of rigorous optimization, which requires a significantly higher computational effort. Hence, this work provides a robustness test for guaranteed robustness in applying SciML tools in multiobjective optimization with lower computational effort than the existent alternative.

📄 PDF Abstract BibTeX arXiv:2209.06642

Code (0)

등록된 구현이 없습니다.

Tasks

Multiobjective Optimization

Methods 이 논문이 사용한 방법론

Test 설명 없음

Similar Papers 제목 키워드 기반

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving

2026-04-26 · Chenyi Li, Yanchen Nie, Zhenyu Ming, Gong Zhang 외 arxiv

Recent advances in formal theorem proving have focused on Olympiad-level mathematics, leaving undergraduate domains largely unexplored. Optimization, fundamental to machine learning, operations research, and scientific c…

Comment on "robustness and regularization of support vector machines" by H. Xu, et al., (Journal of Machine Learning Research, vol. 10, pp. 1485-1510, 2009, arXiv:0803.3490)

2013-08-17 · Yahya Forghani, Hadi Sadoghi Yazdi

This paper comments on the published work dealing with robustness and regularization of support vector machines (Journal of Machine Learning Research, vol. 10, pp. 1485-1510, 2009) [arXiv:0803.3490] by H. Xu, etc. They p…

BIG-bench Machine Learning

Advancing Mathematical Research via Human-AI Interactive Theorem Proving

2025-12-10 · Chenyi Li, Zhijian Lai, Dong An, Jiang Hu 외 arxiv

We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for interactive theorem proving and discovery wi…

A Survey on Mathematical Reasoning and Optimization with Large Language Models

2025-03-22 · Ali Forootani

Mathematical reasoning and optimization are fundamental to artificial intelligence and computational problem-solving. Recent advancements in Large Language Models (LLMs) have significantly improved AI-driven mathematical…

Automated Theorem ProvingHeuristic SearchMathematical Problem-SolvingMathematical Reasoning+2

Loss Landscape Analysis for Reliable Quantized ML Models for Scientific Sensing

2025-02-12 · Tommaso Baldi, Javier Campos, Olivia Weng, Caleb Geniesse 외

In this paper, we propose a method to perform empirical analysis of the loss landscape of machine learning (ML) models. The method is applied to two ML models for scientific sensing, which necessitates quantization to be…

Quantization