paper-with-me

Papers

Chaining Meets Chain Rule: Multilevel Entropic Regularization and Training of Neural Nets

2019-06-26 · Amir R. Asadi, Emmanuel Abbe

We derive generalization and excess risk bounds for neural nets using a family of complexity measures based on a multilevel relative entropy. The bounds are obtained by introducing the notion of generated hierarchical coverings of neural nets and by using the technique of chaining mutual information introduced in Asadi et al. NeurIPS'18. The resulting bounds are algorithm-dependent and exploit the multilevel structure of neural nets. This, in turn, leads to an empirical risk minimization problem with a multilevel entropic regularization. The minimization problem is resolved by introducing a multi-scale generalization of the celebrated Gibbs posterior distribution, proving that the derived distribution achieves the unique minimum. This leads to a new training procedure for neural nets with performance guarantees, which exploits the chain rule of relative entropy rather than the chain rule of derivatives (as in backpropagation). To obtain an efficient implementation of the latter, we further develop a multilevel Metropolis algorithm simulating the multi-scale Gibbs distribution, with an experiment for a two-layer neural net on the MNIST data set.

📄 PDF Abstract BibTeX arXiv:1906.11148

Code (1)

ARAsadi/Multilevel-Metropolis 공식 구현

Similar Papers 제목 키워드 기반

SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning

2024-02-20 · Jinu Lee, Wonseok Hwang

To improve the performance and explainability of LLM-based natural language reasoning, structured reasoning can be applied to generate explicitly structured proofs. Among different methods for structured reasoning, we sp…

Arithmetic ReasoningGSM8KLAMBADA

Neuro-Symbolic Forward Reasoning

2021-10-18 · Hikaru Shindo, Devendra Singh Dhami, Kristian Kersting

Reasoning is an essential part of human intelligence and thus has been a long-standing goal in artificial intelligence research. With the recent success of deep learning, incorporating reasoning with deep learning system…

Deep LearningObject

ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing

2015-03-26 · Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia

The natural way to use Answer Set Programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first order logic program with default negation. In a preliminar…

Negation

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining

2025-07-15 · Fares Wael, Youssef Maklad, Ali Hamdi, Wael Elsersy arxiv

Finite-State Machines (FSMs) are critical for modeling the operational logic of network protocols, enabling verification, analysis, and vulnerability discovery. However, existing FSM extraction techniques face limitation…

MatES: Web-based Forward Chaining Expert System for Maternal Care

2021-06-17 · Haile Misgna, Moges Ahmed, Anubhav Kumar

The solution to prevent maternal complications are known and preventable by trained health professionals. But in countries like Ethiopia where the patient to physician ratio is 1 doctor to 1000 patients, maternal mortali…