English
Related papers

Related papers: Reverse derivative categories

200 papers

Reverse derivative categories (RDCs) have recently been shown to be a suitable semantic framework for studying machine learning algorithms. Whereas emphasis has been put on training methodologies, less attention has been devoted to…

Machine Learning · Computer Science 2022-05-10 Paul Wilson , Fabio Zanasi

Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language…

Auxiliary Learning is a machine learning approach in which the model acknowledges the existence of objects that do not come under any of its learned categories.The name Auxiliary learning was chosen due to the introduction of an auxiliary…

Artificial Intelligence · Computer Science 2022-12-02 Christeen T. Jose

We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…

Quantum Physics · Physics 2023-06-22 Sean Tull

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…

Category Theory · Mathematics 2026-02-20 Kevin Coulembier

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of "derived" categories…

K-Theory and Homology · Mathematics 2009-08-04 Bernhard Keller , Wendy Lowen , Pedro Nicolas

Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…

Category Theory · Mathematics 2009-05-13 Daniel Litt , Zachary Abel , Scott D. Kominers

By the definition of an angle matrix, we investigate the inverse of the Hadamard product of a full rank and an angle matrices. Our proof involves standard matrix analysis. It enriches the algebra of Hadamard products.

General Mathematics · Mathematics 2025-02-28 Yao-Jen Liang

Text classification is a fundamental language task in Natural Language Processing. A variety of sequential models is capable making good predictions yet there is lack of connection between language semantics and prediction results. This…

Computation and Language · Computer Science 2021-12-07 Shaw-Hwa Lo , Yiqiao Yin

Let A be a hereditary algebra over an algebraically closed field. We prove that an exact fundamental domain for the m-cluster category of A is the m-left part of the m-replicated algebra $A^{(m)}$ of A. Moreover, we obtain a one-to-one…

Representation Theory · Mathematics 2007-05-23 I. Assem , T. Brüstle , R. Schiffler , G. Todorov

A reverse dictionary takes the description of a target word as input and outputs the target word together with other words that match the description. Existing reverse dictionary methods cannot deal with highly variable input queries and…

Computation and Language · Computer Science 2019-12-20 Lei Zhang , Fanchao Qi , Zhiyuan Liu , Yasheng Wang , Qun Liu , Maosong Sun

Derivatives, as a critical class of financial instruments, isolate and trade the price attributes of risk assets such as stocks, commodities, and indices, aiding risk management and enhancing market efficiency. However, traditional hedging…

Computational Finance · Quantitative Finance 2025-03-07 Yiheng Ding , Gangnan Yuan , Dewei Zuo , Ting Gao

In response to an object presentation, supervised learning schemes generally respond with a parsimonious label. Upon a similar presentation we humans respond again with a label, but are flooded, in addition, by a myriad of associations. A…

Computer Vision and Pattern Recognition · Computer Science 2024-10-01 Daniel N. Nissani

Reverse-mode automatic differentiation (AD) suffers from the issue of having too much space overhead to trace back intermediate computational states for back-propagation. The traditional method to trace back states is called checkpointing…

Programming Languages · Computer Science 2021-02-02 Jin-Guo Liu , Taine Zhao

Scientific studies often require the precise calculation of derivatives. In many cases an analytical calculation is not feasible and one resorts to evaluating derivatives numerically. These are error-prone, especially for higher-order…

High Energy Physics - Phenomenology · Physics 2010-05-28 Mathias Wagner , Andrea Walther , Bernd-Jochen Schaefer

Deep hedging is a deep-learning-based framework for derivative hedging in incomplete markets. The advantage of deep hedging lies in its ability to handle various realistic market conditions, such as market frictions, which are challenging…

Computational Finance · Quantitative Finance 2023-07-26 Masanori Hirano , Kentaro Minami , Kentaro Imajo

Reinforcement learning is about learning agent models that make the best sequential decisions in unknown environments. In an unknown environment, the agent needs to explore the environment while exploiting the collected information, which…

Machine Learning · Computer Science 2021-02-12 Hong Qian , Yang Yu

A difference operator on an associative algebra is an algebraic abstraction of the forward and backward difference operators. In this paper, we first introduce difference operators on associative $2$-algebras and consider the category of…

Rings and Algebras · Mathematics 2026-05-26 Apurba Das

A directed acyclic graph (DAG) provides valuable prior knowledge that is often discarded in regression tasks in machine learning. We show that the independences arising from the presence of collider structures in DAGs provide meaningful…

Machine Learning · Statistics 2023-06-22 Shahine Bouabid , Jake Fawkes , Dino Sejdinovic

Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…

Logic · Mathematics 2024-03-21 Dag Normann , Sam Sanders
‹ Prev 1 8 9 10 Next ›