Skip to content

Add outward-rounded tanh second-derivative interval bounds - #190

Open
MoritzMaibaum wants to merge 1 commit into
mainfrom
codex/tanh-second-derivative-main
Open

Add outward-rounded tanh second-derivative interval bounds#190
MoritzMaibaum wants to merge 1 commit into
mainfrom
codex/tanh-second-derivative-main

Commits

  1. Commits on Sep 28, 2026