Paper Citation Record · LEDGER

linrax: A JAX Compatible, Simplex Method Linear Program Solver

As of 12 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2509.19484.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2509.19484 v2

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T15:45:51.804265Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact1
verified fuzzy0
unresolved28
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 28b081ff-0d26-46f2-9fd9-5f4c055a3b8f · outbound

This paper cites CasADi: a software framework for nonlinear optimization and opti- mal control,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver CasADi: a software framework for nonlinear optimization and opti- mal control,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.691308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c62b0b21-1e2d-40f4-a33b-9f30c6463c08 · outbound

This paper cites Control-Lyapunov functions,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Control-Lyapunov functions,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.696263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c0407ae-351e-4527-b46c-249b938c89c2 · outbound

This paper cites Control Barrier Functions: Theory and Applications,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Control Barrier Functions: Theory and Applications,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.700178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5f20e83-974c-4fd2-a875-4fd50313555c · outbound

This paper cites Dantzig,Linear Programming and Extensions.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Dantzig,Linear Programming and Extensions

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.705014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18a05ed9-5912-484d-b615-7cf893b2ba34 · outbound

This paper cites Robust Path Planning and Control For Polygonal Environments via Linear Programming,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Robust Path Planning and Control For Polygonal Environments via Linear Programming,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.709019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58f9c5b7-86b3-4a39-8004-3ec621bfb317 · outbound

This paper cites Efficient polyhedral enclosures for the reachable set of nonlinear control systems,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Efficient polyhedral enclosures for the reachable set of nonlinear control systems,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.712922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94aafa57-8e1a-47a3-a996-66313bbcc785 · outbound

This paper cites SciPy 1.0: Fundamental algorithms for scientific computing in python,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver SciPy 1.0: Fundamental algorithms for scientific computing in python,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.721030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d78f00a-7647-4d43-b8dc-b26919f8d314 · outbound

This paper cites Gurobi optimizer reference manual,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Gurobi optimizer reference manual,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.724386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80f819b7-9180-4136-a3c3-1a7bc182205b · outbound

This paper cites CVXPY: A Python-embedded modeling language for convex optimization,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver CVXPY: A Python-embedded modeling language for convex optimization,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.728063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad4de7c3-3369-4ea2-a19b-4f087e39f430 · outbound

This paper cites Linear optimization on modern GPUs,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Linear optimization on modern GPUs,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.731348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aca45ddb-1019-43da-8042-c9cd2d9b932f · outbound

This paper cites JAX: composable transformations of Python+NumPy programs,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver JAX: composable transformations of Python+NumPy programs,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.734795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84c16959-4c35-49c3-830c-371847385a38 · outbound

This paper cites $\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX.

linrax: A JAX Compatible, Simplex Method Linear Program Solver $\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.738195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5665bec-18c4-4b27-a838-6a75d23f9835 · outbound

This paper cites Kheperax: a Lightweight JAX-based Robot Control Environment for Benchmarking Quality-Diversity Al- gorithms,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Kheperax: a Lightweight JAX-based Robot Control Environment for Benchmarking Quality-Diversity Al- gorithms,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.741941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b356ace-cef9-4956-811c-edfa7be6d63a · outbound

This paper cites JaxMARL: Multi-Agent RL Environments and Algorithms in JAX,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver JaxMARL: Multi-Agent RL Environments and Algorithms in JAX,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.745263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64ef1a7a-a697-40e4-b684-0d96c3adb2f5 · outbound

This paper cites The DeepMind JAX Ecosystem,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver The DeepMind JAX Ecosystem,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.748781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 542f0107-8ee6-4d74-a017-e4059f7cbd00 · outbound

This paper cites Optimistix: modular optimisation in JAX and Equinox.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Optimistix: modular optimisation in JAX and Equinox

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.752328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 844399a5-a0dc-42eb-a17d-9d296cd23434 · outbound

This paper cites Equinox: neural networks in JAX via callable PyTrees and filtered transformations,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Equinox: neural networks in JAX via callable PyTrees and filtered transformations,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.756046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3038cd6a-b4b9-4224-bb6a-2f2eaae4ffff · outbound

This paper cites Efficient and Modular Implicit Differentiation.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Efficient and Modular Implicit Differentiation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.759713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b45fc3b3-6944-44e1-adb5-cf8390eb86ba · outbound

This paper cites MPAX: Mathematical programming in JAX,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver MPAX: Mathematical programming in JAX,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.763856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 247b75d4-80c2-4114-a51a-d67e989b3e54 · outbound

This paper cites Jaulin, M.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Jaulin, M

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.771227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d102bdc-3b5f-4439-899f-a57de664676c · outbound

This paper cites Rapid and Accurate Reachability Analysis for Nonlinear Dynamic Systems by Exploiting Model Redundancy,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Rapid and Accurate Reachability Analysis for Nonlinear Dynamic Systems by Exploiting Model Redundancy,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.775449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12fa4c87-336f-41e6-955c-0e83e2602d7b · outbound

This paper cites Certified Robust Invariant Polytope Training in Neural Controlled ODEs.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Certified Robust Invariant Polytope Training in Neural Controlled ODEs

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.779907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33d25c29-1191-4ea4-b423-9813ee2743f4 · outbound

This paper cites Presolving in linear program- ming,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Presolving in linear program- ming,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.783899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8503547-77bd-4bf6-9b4e-3519454a2756 · outbound

This paper cites Finding all linearly dependent rows in large-scale linear programming,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Finding all linearly dependent rows in large-scale linear programming,

Reference 24

Resolution: verified exact; doi, observed 2026-08-04T15:51:50.235383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 393bacd8-5ca9-46a0-916f-e8b6bbafa155 · outbound

This paper cites Parallelizing the dual revised simplex method,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Parallelizing the dual revised simplex method,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.791646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64900af2-35c1-49b6-95ef-440e23415940 · outbound

This paper cites A general analysis of the convergence of ADMM,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver A general analysis of the convergence of ADMM,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.795221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1032320b-1457-4041-9a14-3a1d69f4e4cc · outbound

This paper cites Notes on Bland’s pivoting rule,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Notes on Bland’s pivoting rule,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.798904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e555a3f1-6766-4e52-9ef8-eaff0f396565 · outbound

This paper cites Differentiable convex optimization layers,.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Differentiable convex optimization layers,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.804265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34b6268e-87ad-4bff-ad51-c35cd14a5cb5 · outbound

This paper cites an unresolved cited work.

linrax: A JAX Compatible, Simplex Method Linear Program Solver Unresolved cited work

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-04T15:45:51.717387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.