Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
From MaRDI portal
Recommendations
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
- Normalisation Control in Deep Inference via Atomic Flows
- Complexity of Deep Inference via Atomic Flows
- Normalizing flows for probabilistic modeling and inference
- Logical Approaches to Computational Barriers
- On the relative proof complexity of deep inference via atomic flows
- Variational inference in neural functional prior using normalizing flows: application to differential equation and operator learning problems
- Universal approximation with quadratic deep networks
- Normalization for probabilistic inference with neurons
- Stochastic normalizing flows as non-equilibrium transformations
Cited in
(9)- Complexity of Deep Inference via Atomic Flows
- On the proof complexity of cut-free bounded deep inference
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
- Normalisation Control in Deep Inference via Atomic Flows
- A Subatomic Proof System for Decision Trees
- Removing cycles from proofs
- A deep quantitative type system
- A strictly linear subatomic proof system
- Cut elimination inside a deep inference system for classical predicate logic
This page was built for publication: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5739889)
