Image de couverture de livre

Achieving the Tightest Relaxation of Sigmoids for Formal Verification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chevalier, Samuel, Starkenburg, Duncan, Dvijotham, Krishnamurthy
Format:	Preprint
Publié:	2024
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

Verified Neural Compressed Sensing
par: Bunel, Rudy, et autres
Publié: (2024)

Provably Bounding Neural Network Preimages
par: Kotha, Suhas, et autres
Publié: (2023)

Confidence-aware Reward Optimization for Fine-tuning Text-to-Image Models
par: Kim, Kyuyoung, et autres
Publié: (2024)

Learning to Receive Help: Intervention-Aware Concept Embedding Models
par: Zarlenga, Mateo Espinosa, et autres
Publié: (2023)

Automated Conjecture Resolution with Formal Verification
par: Ju, Haocheng, et autres
Publié: (2026)

Global Minimizers of Sigmoid Contrastive Loss
par: Bangachev, Kiril, et autres
Publié: (2025)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
par: Papamichail, Merkouris, et autres
Publié: (2026)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
par: Marzari, Luca, et autres
Publié: (2025)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

Adaptive Friction in Deep Learning: Enhancing Optimizers with Sigmoid and Tanh Function
par: Zheng, Hongye, et autres
Publié: (2024)

No, of Course I Can! Deeper Fine-Tuning Attacks That Bypass Token-Level Safety Mechanisms
par: Kazdan, Joshua, et autres
Publié: (2025)

The Formalism-Implementation Gap in Reinforcement Learning Research
par: Castro, Pablo Samuel
Publié: (2025)

Beyond Gaussian Initializations: Signal Preserving Weight Initialization for Odd-Sigmoid Activations
par: Lee, Hyunwoo, et autres
Publié: (2025)

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
par: Ladner, Tobias, et autres
Publié: (2024)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
par: Sayed, Abdelrahman Sayed, et autres
Publié: (2025)

Correlated Noise Provably Beats Independent Noise for Differentially Private Learning
par: Choquette-Choo, Christopher A., et autres
Publié: (2023)

Contrastive Learning for Multi Label ECG Classification with Jaccard Score Based Sigmoid Loss
par: Takahashi, Junichiro, et autres
Publié: (2026)

Making Sigmoid-MSE Great Again: Output Reset Challenges Softmax Cross-Entropy in Neural Network Classification
par: Tyagi, Kanishka, et autres
Publié: (2024)

A Neurosymbolic Approach to Natural Language Formalization and Verification
par: Bayless, Sam, et autres
Publié: (2025)

Sigmoid Self-Attention has Lower Sample Complexity than Softmax Self-Attention: A Mixture-of-Experts Perspective
par: Yan, Fanqi, et autres
Publié: (2025)

DafnyBench: A Benchmark for Formal Software Verification
par: Loughridge, Chloe, et autres
Publié: (2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
par: Lin, Xiaohan, et autres
Publié: (2024)

LitLLMs, LLMs for Literature Review: Are we there yet?
par: Agarwal, Shubham, et autres
Publié: (2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
par: König, Matthias, et autres
Publié: (2024)

SuReNav: Superpixel Graph-based Constraint Relaxation for Navigation in Over-constrained Environments
par: Koh, Keonyoung, et autres
Publié: (2026)

SNAP: Stopping Catastrophic Forgetting in Hebbian Learning with Sigmoidal Neuronal Adaptive Plasticity
par: Xu, Tianyi, et autres
Publié: (2024)

The Role of Environment Access in Agnostic Reinforcement Learning
par: Krishnamurthy, Akshay, et autres
Publié: (2025)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
par: Liu, Chengwu, et autres
Publié: (2025)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
par: Yu, Zhouliang, et autres
Publié: (2025)

Adversarial Robustness of VAEs across Intersectional Subgroups
par: Ramanaik, Chethan Krishnamurthy, et autres
Publié: (2024)

Malice in Agentland: Down the Rabbit Hole of Backdoors in the AI Supply Chain
par: Boisvert, Léo, et autres
Publié: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
par: Chen, Luoxin, et autres
Publié: (2026)

A Unifying View of Coverage in Linear Off-Policy Evaluation
par: Amortila, Philip, et autres
Publié: (2026)

Hybrid Associative Memories
par: Lufkin, Leon, et autres
Publié: (2026)

On Optimal Steering to Achieve Exact Fairness
par: Sharma, Mohit, et autres
Publié: (2025)

DIVERSED: Relaxed Speculative Decoding via Dynamic Ensemble Verification
par: Wang, Ziyi, et autres
Publié: (2026)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
par: Barone, Antonio Valerio Miceli, et autres
Publié: (2026)

DeepDFA: Automata Learning through Neural Probabilistic Relaxations
par: Umili, Elena, et autres
Publié: (2024)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
par: Hillerstrom, Fieke, et autres
Publié: (2024)

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
par: Mao, Yuhao, et autres
Publié: (2024)