paper-with-me

Papers

A Formalization of The Natural Gradient Method for General Similarity Measures

2019-02-24 · Anton Mallasto, Tom Dela Haije, Aasa Feragen

In optimization, the natural gradient method is well-known for likelihood maximization. The method uses the Kullback-Leibler divergence, corresponding infinitesimally to the Fisher-Rao metric, which is pulled back to the parameter space of a family of probability distributions. This way, gradients with respect to the parameters respect the Fisher-Rao geometry of the space of distributions, which might differ vastly from the standard Euclidean geometry of the parameter space, often leading to faster convergence. However, when minimizing an arbitrary similarity measure between distributions, it is generally unclear which metric to use. We provide a general framework that, given a similarity measure, derives a metric for the natural gradient. We then discuss connections between the natural gradient method and multiple other optimization techniques in the literature. Finally, we provide computations of the formal natural gradient to show overlap with well-known cases and to compute natural gradients in novel frameworks.

📄 PDF Abstract BibTeX arXiv:1902.08959

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning

2026-03-25 · Arsen Shebzukhov arxiv

Autoformalization - automatically translating natural language mathematical texts into formal proof language such as Lean4 - can help accelerate AI-assisted mathematical research, be it via proof verification or proof se…

Reinforcement Learning

Symbolic Informalization: Fluent, Productive, Multilingual

2026-06-15 · Aarne Ranta arxiv

Symbolic informalization enables a reliable conversion of formal mathematics to natural language. It has the potential to make machine-checked content human-readable without loss of precision. In a traditional proof syst…

Visual stream connectivity predicts assessments of image quality

2020-08-16 · Elijah Bowen, Antonio Rodriguez, Damian Sowinski, Richard Granger

Some biological mechanisms of early vision are comparatively well understood, but they have yet to be evaluated for their ability to accurately predict and explain human judgments of image similarity. From well-studied s…

regression

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

2024-10-28 · Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei 외

Autoformalization, the task of automatically translating natural language descriptions into a formal language, poses a significant challenge across various domains, especially in mathematics. Recent advancements in large…

Math

Interpretable Semantic Textual Similarity: Finding and explaining differences between sentences

2016-12-14 · I. Lopez-Gazpio, M. Maritxalar, A. Gonzalez-Agirre, G. Rigau 외

User acceptance of artificial intelligence agents might depend on their ability to explain their reasoning, which requires adding an interpretability layer that fa- cilitates users to understand their behavior. This pape…

RelationSemantic Textual SimilaritySentenceSTS