Matthew Wilhelm

EAGO's handling of this class of problems is somewhat limited relative to existing MINLP offerings (BARON, ANTIGONE, etc.). We aren't currently exploiting specialized forms or reformulations therein. We still need...

This was reverted on v0.4 of EAGO as the tolerance based approach we initially tried resulted in incorrect results. So to enable this we need: - [ ] a correctly-rounded...

- [ ] Add buffered storage object - [ ] Add `lower_interval_bound`, `interval_bound` functions - [ ] Add `relax!` function - [ ] Update `relax_all_constraints!`, `delete_nl_constraints!`, `label_branch_variables!`, `parse_classify_problem!` - [...

Handling nonlinear expressions near domain violations

1

Right now, we're using a fancy overloading approach to build relaxations of nonlinear terms. Expansiveness of the interval calculations can lead to intermediate terms containing an interval bound on which...

Create an evaluator for the upper bounding problem that supports Lexiographic differentation.

Preliminary work on static analogs for Taylor1

8

#240 - Includes the definition of `STaylor1` structure and constructors. - Adds the following functions for the `STaylor1` type: `+`, `-`. `*`, `exp`, `zero`, `one`, `evaluate`, `==`, functionality to iterate...

Supporting a static Taylor1 or TaylorN type?

4

I was just wondering if anyone has thoughts around possibly supporting statically typed versions of Taylor series in this package. I've thrown together a sample implementation and it seems like...

xlogx is included in StatFuns.jl, relu etc. are included in NNLib

- [X] Add the basic trilinear relaxation - [ ] Compute and plot relaxation cases as a sanity check. - [ ] Check performance (no allocations in benchmarking) - [...