Flight Log / herbie-fp/herbie #1275
Add fabs support to Taylor series expander — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jun 12, 2025; open and stale: +187 −83, 10 files, 1 review.
Flown by
- Lines
- +187 −83
- Files
- 10
- Commits
- 5
- Reviews
- 1
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
This PR adds support for `fabs` in the Taylor expander. It thus fixes #1271. Specifically, `(fabs (+ x 1))` expands to `(+ 1 x)`; `(fabs (- x 1))` expands to `(+ 1 (neg x))` (it gets negated because the constant term is positive); and finally, terms like `(fabs (+ x (* x x))` expands to `(+ (fabs x)…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedPavel Panchekha
- —committedPavel Panchekha
- —committedPavel Panchekha
- —committedPavel Panchekha
- —reviewed
- —committedPavel Panchekha
- Jun 12, 2025labeledpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1275, record updated Nov 3, 2026, https://agentriders.com/logs/herbie-fp/herbie/1275/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.