arXiv cs.AI - 2026-07-13

177 items collected.

1. Interval Certifications for Multilayered Perceptrons via Lattice Traversal

Author: Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris, Jo~ao Marques-Silva
Published: 7/13/2026, 4:00:00 AM
Categories: cs.AI, cs.LG

arXiv:2607.08773v1 Announce Type: new 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 o...

arXiv cs.AI - 2026-07-13 ​

1. Interval Certifications for Multilayered Perceptrons via Lattice Traversal ​

2. CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions ​

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

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

5. A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game ​

6. ARCANA: A Reflective Multi-Agent Program Synthesis Framework for ARC-AGI-2 Reasoning ​

7. Neuro-Agentic Control: A Deep Learning-based LLM-Powered Agentic AI Framework for Controlling Security Controls ​

8. L-MAD: A Systematic Evaluation of Multi-Agent Debate Structures in Legal Reasoning ​

9. MedRealMM: A Real-World Multimodal Benchmark for Chinese Online Medical Consultation ​

10. KV-PRM: Efficient Process Reward Modeling via KV-Cache Transfer for Multi-Agent Test-Time Scaling ​

11. Scoped Verification for Reliable Long-Horizon Agentic Context Evolution under Distribution Shift ​

12. Toward Auditable AI Scientists: A Hypothesis Evolution Protocol for LLM Agents ​

13. OpenProver: Agentic and Interactive Theorem Proving with Lean 4 ​

14. LongMedBench: Benchmarking Medical Agents for Long-Horizon Clinical Decision-Making ​

15. Communication-Efficient Digital-Twin Coordination for Heterogeneous LLM Embodied Agents over Computing Power Networks ​

16. Fictional Worldbuilding: Multi-Agent LLM Collaboration with Hierarchical Context Compression and Iterative Review ​

17. How Does Bayesian Causal Discovery Fail? Characterising Structural Consequences in Linear Gaussian Networks under Latent Confounding ​

18. ProofCouncil: An LLM Agent for Solving Open Mathematical Problems ​

19. Ceci n'est pas une pipe: AI systems as semantic abstractions ​

20. Multimodal Reward Hacking in Reinforcement Learning ​

21. Shared Selective Persistent Memory for Agentic LLM Systems ​

22. SAGEAgent: A Self-Evolving Agent for Cost-Aware Modality Acquisition in Multimodal Survival Prediction ​

23. Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI ​

24. Knowledge Graphs and Explainable AI as Complementary Resources for Urban Mining ​

25. TrustX Agent Risk Classification Framework (ARC): Risk-Tiering Internally Created Agentic AI Systems ​

26. Agora: Enhancing LLM Agent Reasoning Via Auction-Based Task Allocation ​

27. ConceptSMILE: Auditing the Trustworthiness of Concept-Based Explainable AI ​

28. Minimal Decision Dynamics and Contextual Probability: A Quantum Tug-of-War Model ​

29. REFORGE: A Method for Benchmarking LLMs' Reverse Engineering Capabilities in Decompiled Binary Function Naming ​

30. A Unified Approach to Interpreting Knowledge Distillation for Large Language Models via Interactions ​

31. iLENS: Interpretable LLM-Guided Mixture-of-Experts for Neuroimaging Survival Analysis ​

32. Signed Symmetric Quantization for Few-Bit Integers ​

33. Sticky Routing: Training MoE Models for Memory-Efficient Inference ​

34. Reward Transport: Property Control in Flow Matching via Noise-Space Alignment ​

35. Director: Accelerating Distributed MoE Serving via Online Proactive Expert Placement ​

36. LieBN: Batch Normalization over Lie Groups ​

37. HERO: A Heterogeneity-Aware Benchmark Library for Federated Continual Learning ​

38. DaDaDa: A Dataset for Data Pricing in Data Marketplaces ​

arXiv cs.AI - 2026-07-13

1. Interval Certifications for Multilayered Perceptrons via Lattice Traversal

2. CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions

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

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

5. A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game

6. ARCANA: A Reflective Multi-Agent Program Synthesis Framework for ARC-AGI-2 Reasoning

7. Neuro-Agentic Control: A Deep Learning-based LLM-Powered Agentic AI Framework for Controlling Security Controls

8. L-MAD: A Systematic Evaluation of Multi-Agent Debate Structures in Legal Reasoning

9. MedRealMM: A Real-World Multimodal Benchmark for Chinese Online Medical Consultation

10. KV-PRM: Efficient Process Reward Modeling via KV-Cache Transfer for Multi-Agent Test-Time Scaling

11. Scoped Verification for Reliable Long-Horizon Agentic Context Evolution under Distribution Shift

12. Toward Auditable AI Scientists: A Hypothesis Evolution Protocol for LLM Agents

13. OpenProver: Agentic and Interactive Theorem Proving with Lean 4

14. LongMedBench: Benchmarking Medical Agents for Long-Horizon Clinical Decision-Making

15. Communication-Efficient Digital-Twin Coordination for Heterogeneous LLM Embodied Agents over Computing Power Networks

16. Fictional Worldbuilding: Multi-Agent LLM Collaboration with Hierarchical Context Compression and Iterative Review

17. How Does Bayesian Causal Discovery Fail? Characterising Structural Consequences in Linear Gaussian Networks under Latent Confounding

18. ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

19. Ceci n'est pas une pipe: AI systems as semantic abstractions

20. Multimodal Reward Hacking in Reinforcement Learning

21. Shared Selective Persistent Memory for Agentic LLM Systems

22. SAGEAgent: A Self-Evolving Agent for Cost-Aware Modality Acquisition in Multimodal Survival Prediction

23. Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI

24. Knowledge Graphs and Explainable AI as Complementary Resources for Urban Mining

25. TrustX Agent Risk Classification Framework (ARC): Risk-Tiering Internally Created Agentic AI Systems

26. Agora: Enhancing LLM Agent Reasoning Via Auction-Based Task Allocation

27. ConceptSMILE: Auditing the Trustworthiness of Concept-Based Explainable AI

28. Minimal Decision Dynamics and Contextual Probability: A Quantum Tug-of-War Model

29. REFORGE: A Method for Benchmarking LLMs' Reverse Engineering Capabilities in Decompiled Binary Function Naming

30. A Unified Approach to Interpreting Knowledge Distillation for Large Language Models via Interactions

31. iLENS: Interpretable LLM-Guided Mixture-of-Experts for Neuroimaging Survival Analysis

32. Signed Symmetric Quantization for Few-Bit Integers

33. Sticky Routing: Training MoE Models for Memory-Efficient Inference

34. Reward Transport: Property Control in Flow Matching via Noise-Space Alignment

35. Director: Accelerating Distributed MoE Serving via Online Proactive Expert Placement

36. LieBN: Batch Normalization over Lie Groups

37. HERO: A Heterogeneity-Aware Benchmark Library for Federated Continual Learning

38. DaDaDa: A Dataset for Data Pricing in Data Marketplaces