All pull requests

Pull requests

• Matrix products: do not propagate matrix signs with scalar sign arithmetic

  #212·ChrisRackauckas-Claude opened Oct 21, 2026Member·

  ·

• Validate argument roles and known dimensions across all GDCP atoms

  #211·ChrisRackauckas-Claude opened Oct 21, 2026Member·

  ·

• [stacked on #191 + #190] Propagate array element domains and signs

  #208·ChrisRackauckas-Claude opened Oct 16, 2026Member·

  ·

• Fix six latent atom rule bugs (sum_largest k+1, kldivergence sign, diff, sdivergence, harmmean, sum_log_eigmax)

  #206·ChrisRackauckas-Claude opened Oct 16, 2026Member·

  ·

• [stacked on #190] Power rule: require a proven base for non-integer and non-finite exponents; huber M>=0

  #205·ChrisRackauckas-Claude opened Oct 16, 2026Member·

  ·
  1

• [stacked on #191] Lorentz quadratic atoms: certify GConvex only for constant data meeting the atom's condition

  #204·ChrisRackauckas-Claude opened Oct 16, 2026Member·

  ·
  1

• [stacked on #191] GDCP: gate sum_log_eigmax on f, treat -X as GConcave, route * through mul_gcurvature

  #203·ChrisRackauckas-Claude opened Oct 16, 2026Member·

  ·

• [stacked on #191] GDCP fallback: return Unknown instead of crashing on scalar monotonicity and matrix constants

  #202·ChrisRackauckas-Claude opened Oct 16, 2026Member·

  ·
  1

• Certify schatten_norm as geodesically convex only for p ≥ 1

  #195·ChrisRackauckas-Claude opened Oct 11, 2026Member·

  ·

• Certify matrix logdet/inv/log/sqrt only on a proven positive definite argument

  #194·ChrisRackauckas-Claude opened Oct 7, 2026Member·

  ·
  1

• Do not certify lorentz_log_barrier as geodesically convex (counterexample to arXiv 2110.06514 Ex. 4)

  #193·ChrisRackauckas-Claude opened Oct 7, 2026Member·

  ·

• GDCP: check constant factors of hadamard_product, affine_map and sdivergence exactly

  #192·ChrisRackauckas-Claude opened Oct 7, 2026Member·

  ·
  1

• GDCP: apply manifold rules only to points of the manifold, on the matching manifold

  #191·ChrisRackauckas-Claude opened Oct 7, 2026Member·

  ·
  2

• Fix false certificates for odd and negative integer powers (y^3 was Convex/Positive)

  #190·ChrisRackauckas-Claude opened Oct 3, 2026Member·

  ·

• Add interactive DCP atoms table to docs

  #96·langestefan opened Mar 5, 2026·

  ·

• Add MOI interface and expand docs, experiments and tests

  #95·Vaibhavdixit02 opened Feb 23, 2026Member·

  ·
  21