LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
Publication Details
- Journal
- SPIRE - Sciences Po Institutional REpository
- Published
- 2025-08-16
- Primary Topic
- Model Reduction and Neural Networks
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Asian Universities Alliance
- Indian Institute of Technology Bombay
- Hong Kong University of Science and Technology
- Leibniz-Gemeinschaft