:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mao, Yuhao, Zhang, Yani, Vechev, Martin
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence
Online Access:	https://arxiv.org/abs/2410.06816
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Compact Boolean Networks
by: Wang, Shengpu, et al.
Published: (2026)

CTBENCH: A Library and Benchmark for Certified Training
by: Mao, Yuhao, et al.
Published: (2024)

Dual Randomized Smoothing: Beyond Global Noise Variance
by: Sun, Chenhao, et al.
Published: (2025)

Understanding Certified Training with Interval Bound Propagation
by: Mao, Yuhao, et al.
Published: (2023)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
by: Papamichail, Merkouris, et al.
Published: (2026)

NeuronSeek: On Stability and Expressivity of Task-driven Neurons
by: Pei, Hanyu, et al.
Published: (2025)

Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations
by: Balauca, Stefan, et al.
Published: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
by: Zhang, Yani, et al.
Published: (2024)

On the Expressive Power of Graph Neural Networks
by: Nalwade, Ashwin, et al.
Published: (2024)

Scaling Laws and Tradeoffs in Recurrent Networks of Expressive Neurons
by: Spieler, Aaron, et al.
Published: (2026)

Meta-GCN: A Dynamically Weighted Loss Minimization Method for Dealing with the Data Imbalance in Graph Neural Networks
by: Mohammadizadeh, Mahdi, et al.
Published: (2024)

Boosting Graph Neural Network Expressivity with Learnable Lanczos Constraints
by: Azizi, Niloofar, et al.
Published: (2024)

Learning Expressive Priors for Generalization and Uncertainty Estimation in Neural Networks
by: Schnaus, Dominik, et al.
Published: (2023)

The Expressive Leaky Memory Neuron: an Efficient and Expressive Phenomenological Neuron Model Can Solve Long-Horizon Tasks
by: Spieler, Aaron, et al.
Published: (2023)

The WidthWall: A Strict Expressivity Hierarchy for Hypergraph Neural Networks
by: Jiang, Fengqing, et al.
Published: (2026)

Watermark Stealing in Large Language Models
by: Jovanović, Nikola, et al.
Published: (2024)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
by: Ünsal, Mert, et al.
Published: (2024)

Transferrable Surrogates in Expressive Neural Architecture Search Spaces
by: Qin, Shiwen, et al.
Published: (2025)

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
by: Petrov, Ivo, et al.
Published: (2025)

Recovered in Translation: Efficient Pipeline for Automated Translation of Benchmarks and Datasets
by: Yukhymenko, Hanna, et al.
Published: (2026)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
by: Liu, Zongxin, et al.
Published: (2024)

Towards Expressive Spectral-Temporal Graph Neural Networks for Time Series Forecasting
by: Jin, Ming, et al.
Published: (2023)

Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Ability
by: Yu, Lijia, et al.
Published: (2025)

CR-LSO: Convex Neural Architecture Optimization in the Latent Space of Graph Variational Autoencoder with Input Convex Neural Networks
by: Rao, Xuan, et al.
Published: (2022)

Will More Expressive Graph Neural Networks do Better on Generative Tasks?
by: Zou, Xiandong, et al.
Published: (2023)

Back to the Drawing Board for Fair Representation Learning
by: Pouget, Angéline, et al.
Published: (2024)

Widening the Gap: Exploiting LLM Quantization via Outlier Injection
by: Zhan, Xiaohua, et al.
Published: (2026)

Lie Neurons: Adjoint-Equivariant Neural Networks for Semisimple Lie Algebras
by: Lin, Tzu-Yuan, et al.
Published: (2023)

Relaxing Continuous Constraints of Equivariant Graph Neural Networks for Physical Dynamics Learning
by: Zheng, Zinan, et al.
Published: (2024)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
by: Marzari, Luca, et al.
Published: (2025)

Discovering Spoofing Attempts on Language Model Watermarks
by: Gloaguen, Thibaud, et al.
Published: (2024)

A Synthetic Dataset for Personal Attribute Inference
by: Yukhymenko, Hanna, et al.
Published: (2024)

Ward: Provable RAG Dataset Inference via LLM Watermarks
by: Jovanović, Nikola, et al.
Published: (2024)

Watch your steps: Dormant Adversarial Behaviors that Activate upon LLM Finetuning
by: Gloaguen, Thibaud, et al.
Published: (2025)

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
by: Mündler, Niels, et al.
Published: (2023)

Watermarking Diffusion Language Models
by: Gloaguen, Thibaud, et al.
Published: (2025)

CodeTaste: Can LLMs Generate Human-Level Code Refactorings?
by: Thillen, Alex, et al.
Published: (2026)

A Unified Framework for LLM Watermarks
by: Gloaguen, Thibaud, et al.
Published: (2026)

Connecting Concept Convexity and Human-Machine Alignment in Deep Neural Networks
by: Dorszewski, Teresa, et al.
Published: (2024)

Influence Functions for Edge Edits in Non-Convex Graph Neural Networks
by: Heo, Jaeseung, et al.
Published: (2025)