Skip to content

Commit

Permalink
build based on 08b8173
Browse files Browse the repository at this point in the history
  • Loading branch information
Documenter.jl committed Nov 7, 2024
1 parent ebc9cf2 commit 84d1dcd
Show file tree
Hide file tree
Showing 35 changed files with 2,696 additions and 2,649 deletions.
2 changes: 1 addition & 1 deletion dev/.documenter-siteinfo.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-05T21:35:48","documenter_version":"1.7.0"}}
{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-07T00:31:00","documenter_version":"1.7.0"}}
70 changes: 36 additions & 34 deletions dev/api/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion dev/developers/design_principles/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,4 @@
model_reduced_space = Model()
@variable(model_reduced_space, x[1:2])
@variable(model_reduced_space, y[1:3])
@constraint(model_reduced_space, y .== max.(0, layer.A * x + layer.b))</code></pre><p>In general, the full-space formulations have more variables and constraints but simpler nonlinear expressions, whereas the reduced-space formulations have fewer variables and constraints but more complicated nonlinear expressions.</p><p>MathOptAI.jl implements the full-space formulation by default, but some layers support the reduced-space formulation with the <a href="../../api/#ReducedSpace"><code>ReducedSpace</code></a> wrapper.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../tutorials/gaussian/">« Function fitting with AbstractGPs</a><a class="docs-footer-nextpage" href="../../api/">API Reference »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Tuesday 5 November 2024 21:35">Tuesday 5 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
@constraint(model_reduced_space, y .== max.(0, layer.A * x + layer.b))</code></pre><p>In general, the full-space formulations have more variables and constraints but simpler nonlinear expressions, whereas the reduced-space formulations have fewer variables and constraints but more complicated nonlinear expressions.</p><p>MathOptAI.jl implements the full-space formulation by default, but some layers support the reduced-space formulation with the <a href="../../api/#ReducedSpace"><code>ReducedSpace</code></a> wrapper.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../tutorials/gaussian/">« Function fitting with AbstractGPs</a><a class="docs-footer-nextpage" href="../../api/">API Reference »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Thursday 7 November 2024 00:30">Thursday 7 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
2 changes: 1 addition & 1 deletion dev/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,4 +27,4 @@
moai_SoftMax[7]
moai_SoftMax[8]
moai_SoftMax[9]
moai_SoftMax[10]</code></pre><h2 id="Getting-help"><a class="docs-heading-anchor" href="#Getting-help">Getting help</a><a id="Getting-help-1"></a><a class="docs-heading-anchor-permalink" href="#Getting-help" title="Permalink"></a></h2><p>This package is under active development. For help, questions, comments, and suggestions, please <a href="https://github.com/lanl-ansi/MathOptAI.jl/issues/new">open a GitHub issue</a>.</p><h2 id="Inspiration"><a class="docs-heading-anchor" href="#Inspiration">Inspiration</a><a id="Inspiration-1"></a><a class="docs-heading-anchor-permalink" href="#Inspiration" title="Permalink"></a></h2><p>This project is mainly inspired by two existing projects:</p><ul><li><a href="https://github.com/cog-imperial/OMLT">OMLT</a></li><li><a href="https://github.com/Gurobi/gurobi-machinelearning">gurobi-machinelearning</a></li></ul><p>Other works, from which we took less inspiration, include:</p><ul><li><a href="https://github.com/INFORMSJoC/2020.1023">JANOS</a></li><li><a href="https://git.rwth-aachen.de/avt-svt/public/MeLOn">MeLOn</a></li><li><a href="https://github.com/cog-imperial/entmoot">ENTMOOT</a></li><li><a href="https://github.com/process-intelligence-research/ReLU_ANN_MILP">reluMIP</a></li><li><a href="https://github.com/hwiberg/OptiCL">OptiCL</a></li><li><a href="https://github.com/Opt-Mucca/PySCIPOpt-ML">PySCIPOpt-ML</a></li></ul><p>The 2024 paper of López-Flores et al. is an excellent summary of the state of the field at the time that we started development of MathOptAI.</p><blockquote><p>López-Flores, F.J., Ramírez-Márquez, C., Ponce-Ortega J.M. (2024). Process Systems Engineering Tools for Optimization of Trained Machine Learning Models: Comparative and Perspective. <em>Industrial &amp; Engineering Chemistry Research</em>, 63(32), 13966-13979. DOI: <a href="https://pubs.acs.org/doi/abs/10.1021/acs.iecr.4c00632">10.1021/acs.iecr.4c00632</a></p></blockquote></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="manual/predictors/">Predictors »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Tuesday 5 November 2024 21:35">Tuesday 5 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
moai_SoftMax[10]</code></pre><h2 id="Getting-help"><a class="docs-heading-anchor" href="#Getting-help">Getting help</a><a id="Getting-help-1"></a><a class="docs-heading-anchor-permalink" href="#Getting-help" title="Permalink"></a></h2><p>This package is under active development. For help, questions, comments, and suggestions, please <a href="https://github.com/lanl-ansi/MathOptAI.jl/issues/new">open a GitHub issue</a>.</p><h2 id="Inspiration"><a class="docs-heading-anchor" href="#Inspiration">Inspiration</a><a id="Inspiration-1"></a><a class="docs-heading-anchor-permalink" href="#Inspiration" title="Permalink"></a></h2><p>This project is mainly inspired by two existing projects:</p><ul><li><a href="https://github.com/cog-imperial/OMLT">OMLT</a></li><li><a href="https://github.com/Gurobi/gurobi-machinelearning">gurobi-machinelearning</a></li></ul><p>Other works, from which we took less inspiration, include:</p><ul><li><a href="https://github.com/INFORMSJoC/2020.1023">JANOS</a></li><li><a href="https://git.rwth-aachen.de/avt-svt/public/MeLOn">MeLOn</a></li><li><a href="https://github.com/cog-imperial/entmoot">ENTMOOT</a></li><li><a href="https://github.com/process-intelligence-research/ReLU_ANN_MILP">reluMIP</a></li><li><a href="https://github.com/hwiberg/OptiCL">OptiCL</a></li><li><a href="https://github.com/Opt-Mucca/PySCIPOpt-ML">PySCIPOpt-ML</a></li></ul><p>The 2024 paper of López-Flores et al. is an excellent summary of the state of the field at the time that we started development of MathOptAI.</p><blockquote><p>López-Flores, F.J., Ramírez-Márquez, C., Ponce-Ortega J.M. (2024). Process Systems Engineering Tools for Optimization of Trained Machine Learning Models: Comparative and Perspective. <em>Industrial &amp; Engineering Chemistry Research</em>, 63(32), 13966-13979. DOI: <a href="https://pubs.acs.org/doi/abs/10.1021/acs.iecr.4c00632">10.1021/acs.iecr.4c00632</a></p></blockquote></article><nav class="docs-footer"><a class="docs-footer-nextpage" href="manual/predictors/">Predictors »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Thursday 7 November 2024 00:31">Thursday 7 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
2 changes: 1 addition & 1 deletion dev/manual/AbstractGPs/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@
moai_quantile[1]
moai_quantile[2]</code><br/><code class="language-julia-repl hljs" style="display:block;">julia&gt; formulation</code><code class="nohighlight hljs ansi" style="display:block;">Quantile(_, [0.1, 0.9])
├ variables [0]
└ constraints [0]</code><br/><code class="language-julia-repl hljs" style="display:block;">julia&gt; @objective(model, Max, y[2] - y[1])</code><code class="nohighlight hljs ansi" style="display:block;">moai_quantile[2] - moai_quantile[1]</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../predictors/">« Predictors</a><a class="docs-footer-nextpage" href="../DecisionTree/">DecisionTree.jl »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Tuesday 5 November 2024 21:35">Tuesday 5 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
└ constraints [0]</code><br/><code class="language-julia-repl hljs" style="display:block;">julia&gt; @objective(model, Max, y[2] - y[1])</code><code class="nohighlight hljs ansi" style="display:block;">moai_quantile[2] - moai_quantile[1]</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../predictors/">« Predictors</a><a class="docs-footer-nextpage" href="../DecisionTree/">DecisionTree.jl »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Thursday 7 November 2024 00:31">Thursday 7 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
2 changes: 1 addition & 1 deletion dev/manual/DecisionTree/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@
├ moai_BinaryDecisionTree_z[2] --&gt; {x[2] ≤ 0.41966499895337794}
├ moai_BinaryDecisionTree_z[3] --&gt; {x[1] ≥ 0.4743457016210958}
├ moai_BinaryDecisionTree_z[3] --&gt; {x[2] ≥ 0.41966499895337794}
└ 2 moai_BinaryDecisionTree_z[1] - 3 moai_BinaryDecisionTree_z[2] - 4 moai_BinaryDecisionTree_z[3] + moai_BinaryDecisionTree_value = 0</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../AbstractGPs/">« AbstractGPs.jl</a><a class="docs-footer-nextpage" href="../Flux/">Flux.jl »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Tuesday 5 November 2024 21:35">Tuesday 5 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
└ 2 moai_BinaryDecisionTree_z[1] - 3 moai_BinaryDecisionTree_z[2] - 4 moai_BinaryDecisionTree_z[3] + moai_BinaryDecisionTree_value = 0</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../AbstractGPs/">« AbstractGPs.jl</a><a class="docs-footer-nextpage" href="../Flux/">Flux.jl »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Thursday 7 November 2024 00:30">Thursday 7 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
Loading

0 comments on commit 84d1dcd

Please sign in to comment.