Math: Logic

Machine-learning ideas tagged Logic in the Math taxonomy of the Math2NN corpus.

2 ideas found

Solves: Generalization Math: Logic Clear all

Unverified 2026

SMT-Certified Loss-Preserving Network Rewrites

Represent an original neural-network block and a proposed rewritten block as constrained optimization formulations over inputs and trainable parameters, then certify that the rewrite preserves feasibility and the ordering of losses over a bounded domain. This gives a compiler or pruning pipeline a formal reject/accept gate instead of relying only on numerical regression tests.

Useful5/10

Difficulty7/10

Novelty8/10

Theory Stability Accuracy Generalization

Paper: SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification arXiv:2609.00728

Unverified 2026

Three-Class Fuzzy Multi-Loss Scalarizer

Replace a fixed weighted sum of normalized neural-network objectives with a differentiable fuzzy scalarizer that assigns every criterion to desirable, tolerable, and undesirable regions. Explicit output consequents turn these semantic classes into a scalar training loss, while localized memberships reduce flat plateaus and make the optimizer distinguish genuine preference minima from arbitrary ties.

Useful5/10

Difficulty4/10

Novelty6/10

Optimization Accuracy Stability Generalization

Paper: Rule-Induced Behavior of Fuzzy Scalar Objective Functions for Reliable Multi-Criteria Decision Making arXiv:2607.20731