Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T06:58:04.989550Z
Paper Citation Record · LEDGER
As of 13 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 1 inbound Pith citation observation for arXiv:2604.16898.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T06:58:04.989550Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-06-26T11:14:14.203590Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
10 of 10 outbound references displayed
External citation measurements
0
pith, observed 2026-08-05T02:28:24.338817Z
Observation 6f6f8bb8-bbec-4a75-a417-838aa423a7a9 · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Constant Function Market Makers: Multi-Asset Trades via Convex Optimization
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bb7547d5-2d61-45c3-84ce-1c3fa079e9dc · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Improved Price Oracles: Constant Function Market Makers
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d1568c45-14f7-47ee-82e0-390ddb73e60c · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Lean 4 Formalization of AMM Axioms
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 233eac64-e4ed-4dbb-b469-2279a93265dd · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Balancer: A Non-Custodial Portfolio Manager, Liquidity Provider, and Price Sensor
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation ba57300e-80f3-4c6e-ac75-9956c625070b · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs A Formal Approach to AMM Fee Mechanisms with Lean 4
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation dc86a7c4-0a08-4d94-a69c-cd5752c7a657 · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs An Axiomatic Characteriza- tion of CFMMs and Equivalence to Prediction Markets
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f11701c7-1176-4e1f-9e1b-340c66934ef6 · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs All AMMs are CFMMs. All DeFi markets have invariants. A DeFi market is arbitrage-free if and only if it has an increasing invariant
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 810a15c0-4aa7-403a-bcaf-30bb12b9e864 · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Automated Market Making and Loss-Versus-Rebalancing
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation cc4831c9-771e-4a7b-a642-8ab6df37fbab · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Formalizing Automated Market Makers in the Lean 4 Theorem Prover
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 583ba1ff-3c31-4498-927a-7ad933246338 · outbound
From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs Uniswap V2 Core
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d700f9bc-85b7-4dba-aac5-bba223debb90 · inbound
A Unified General Formula for Arbitrary Liquidity Operations in Weighted AMMs: Potential Applications to Intelligent Transportation Systems From Swap Axioms to Weighted Geometric Means: A Characterization of AMMs
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.