AGENTIC-SYSTEMSJuly 13, 20261 min read

Interval Certifications for Multilayered Perceptrons via Lattice Traversal

Researchers have proposed a rigorous theoretical framework for AI safety by reducing the adversarial robustness problem to a lattice traversal problem, introducing a novel 'complete certification' alongside traditional 'sound certification'.

Computer Science > Artificial Intelligence

Title:Interval Certifications for Multilayered Perceptrons via Lattice Traversal

View PDF HTML (experimental)Abstract:In this work we present a rigorous theoretical framework to a foundational problem of AI safety, namely adversarial robustness. In particular, we show that the adversarial robustness problem can be reduced to a lattice traversal problem. Each element of this lattice corresponds to an interval, i.e., an axis-aligned hyper-rectangle, containing an input point $\mathbf{x}$. Consider a multilayered perceptron classifier (MLP). An interval $I$ constitutes a sound certification if $\mathbf{x} \in I$ and $\mathbf{x}$ can be freely perturbed in $I$ without changing the MLP's prediction. Complementarily, an interval $I$ constitutes a complete certification if $\mathbf{x} \in I$ and when $\mathbf{x}$ moves outside of $I$ the MLP's prediction is guaranteed to change. While the sound certification problem corresponds to the well-studied adversarial robustness, complete certifications have not been examined in the literature. We develop lattice traversal operators, which we apply in a refine & verify iterative scheme. Using formal MLP verifiers, sound maximality and complete minimality are guaranteed. Moreover, we examine objective optimization problems. There we discover some interesting asymmetries. For complete certifications, the minimum solution is obtained in polynomial oracle calls. This does not hold for sound certifications, where we prove strong intractability results. Additionally, we examine optimization problems in symmetric intervals (i.e., $\ell_\infty$-spheres), where we provide logarithmic algorithms. Finally, we present an empirical evaluation, using the novel ParallelepipedoNN system.

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

Recommenders and Search Tools

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Source: arXiv cs.AI Recent

More in this category

agentic-systems

GATS: Graph-Augmented Tree Search with Layered World Models for Efficient Agent Planning

Researchers have developed GATS, a breakthrough planning framework for AI agents that completely eliminates LLM calls during inference. Achieving a 100% success rate in complex tasks, GATS paves the way for highly efficient and deterministic autonomous agents.

agentic-systems

Long-Horizon-Terminal-Bench: Testing the Limits of Agents on Long-Horizon Terminal Tasks with Dense Reward-Based Grading

Researchers have introduced Long-Horizon-Terminal-Bench, a new benchmark designed to test the limits of AI agents on complex, long-horizon tasks. Featuring a dense reward-based grading system, the benchmark reveals that even the most advanced frontier models struggle with tasks requiring hours of execution and iterative debugging.

agentic-systems

Context Graphs for Proactive Enterprise Agents

Researchers propose 'Context Graphs' to enable proactive AI agents in enterprises, shifting from reactive query-response to active information delivery. The system reduces information delivery time from 47 minutes to under 30 seconds with high precision.

NOW LET US Related – Evaluating the Effect of Frame Rate in Sequence-Based Classification of Autism-Related Self-Stimulatory Hand Idiosyncrasies

agentic-systems

Evaluating the Effect of Frame Rate in Sequence-Based Classification of Autism-Related Self-Stimulatory Hand Idiosyncrasies

A new study demonstrates that optimizing frame sampling rates and neural network architectures can significantly improve the accuracy of detecting autism-related self-stimulatory behaviors from video, achieving up to 98.75% accuracy using GRU models at a 15-frame interval.

agentic-systems

From Atomic Actions to Standard Operating Procedures: Iterative Tool Optimization for Self-Evolving LLM Agents

Researchers have introduced EvoSOP, a framework that enables LLM agents to synthesize granular atomic actions into reusable Standard Operating Procedures (SOPs). This iterative tool optimization significantly boosts task success rates and reduces reasoning overhead, paving the way for self-evolving AI systems.

agentic-systems

Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics

A new study evaluates the integration of SageMath, a Computer Algebra System (CAS), into LLM agents to solve research-level mathematical problems. The results show significant performance gains across all models, with GPT-5.5 achieving the highest solve rate of 75.2%, paving the way for automated conjecture discovery.