Academic Journal
Προβολή σε EDS

Flexible Differentiable Optimization via Model Transformations.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Flexible Differentiable Optimization via Model Transformations.
Συγγραφείς: Besançon, Mathieu, Dias Garcia, Joaquim, Legat, Benoît, Sharma, Akshay
Πηγή: INFORMS Journal on Computing; Mar/Apr2024, Vol. 36 Issue 2, p456-478, 23p
Θεματικοί όροι: Data libraries, Arbitrary constants, Constrained optimization, Software development tools, Automatic differentiation, Quadratic programming
Γεωγραφικοί όροι: Plovdiv (Bulgaria), Brazil
Περίληψη: We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling multiple use cases from hyperparameter optimization to backpropagation and sensitivity analysis, bridging constrained optimization with end-to-end differentiable programming. DiffOpt is built on two known rules for differentiating quadratic programming and conic programming standard forms. However, thanks to its ability to differentiate through model transformations, the user is not limited to these forms and can differentiate with respect to the parameters of any model that can be reformulated into these standard forms. This notably includes programs mixing affine conic constraints and convex quadratic constraints or objective function. History: Accepted by Ted Ralphs, Area Editor for Software Tools. Funding: The work of A. Sharma on DiffOpt.jl was funded by the Google Summer of Code program through NumFocus. M. Besançon was partially supported through the Research Campus Modal funded by the German Federal Ministry of Education and Research [Grant 05M14ZAM, 05M20ZBM]. J. Dias Garcia was supported in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Finance Code 001. B. Legat was supported by a BAEF Postdoctoral Fellowship, the NSF [Grant OAC-1835443], and the ERC Adv. [Grant 885682]. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information (https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0283), as well as from the IJOC GitHub software repository (https://github.com/INFORMSJoC/2022.0283). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/. [ABSTRACT FROM AUTHOR]
Copyright of INFORMS Journal on Computing is the property of INFORMS: Institute for Operations Research & the Management Sciences and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Βάση Δεδομένων: Complementary Index
FullText Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 176567442
RelevancyScore: 1030
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1029.95104980469
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Flexible Differentiable Optimization via Model Transformations.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Besançon%2C+Mathieu%22">Besançon, Mathieu</searchLink><br /><searchLink fieldCode="AR" term="%22Dias+Garcia%2C+Joaquim%22">Dias Garcia, Joaquim</searchLink><br /><searchLink fieldCode="AR" term="%22Legat%2C+Benoît%22">Legat, Benoît</searchLink><br /><searchLink fieldCode="AR" term="%22Sharma%2C+Akshay%22">Sharma, Akshay</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: INFORMS Journal on Computing; Mar/Apr2024, Vol. 36 Issue 2, p456-478, 23p
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Data+libraries%22">Data libraries</searchLink><br /><searchLink fieldCode="DE" term="%22Arbitrary+constants%22">Arbitrary constants</searchLink><br /><searchLink fieldCode="DE" term="%22Constrained+optimization%22">Constrained optimization</searchLink><br /><searchLink fieldCode="DE" term="%22Software+development+tools%22">Software development tools</searchLink><br /><searchLink fieldCode="DE" term="%22Automatic+differentiation%22">Automatic differentiation</searchLink><br /><searchLink fieldCode="DE" term="%22Quadratic+programming%22">Quadratic programming</searchLink>
– Name: SubjectGeographic
  Label: Geographic Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Plovdiv+%28Bulgaria%29%22">Plovdiv (Bulgaria)</searchLink><br /><searchLink fieldCode="DE" term="%22Brazil%22">Brazil</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling multiple use cases from hyperparameter optimization to backpropagation and sensitivity analysis, bridging constrained optimization with end-to-end differentiable programming. DiffOpt is built on two known rules for differentiating quadratic programming and conic programming standard forms. However, thanks to its ability to differentiate through model transformations, the user is not limited to these forms and can differentiate with respect to the parameters of any model that can be reformulated into these standard forms. This notably includes programs mixing affine conic constraints and convex quadratic constraints or objective function. History: Accepted by Ted Ralphs, Area Editor for Software Tools. Funding: The work of A. Sharma on DiffOpt.jl was funded by the Google Summer of Code program through NumFocus. M. Besançon was partially supported through the Research Campus Modal funded by the German Federal Ministry of Education and Research [Grant 05M14ZAM, 05M20ZBM]. J. Dias Garcia was supported in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Finance Code 001. B. Legat was supported by a BAEF Postdoctoral Fellowship, the NSF [Grant OAC-1835443], and the ERC Adv. [Grant 885682]. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information (https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0283), as well as from the IJOC GitHub software repository (https://github.com/INFORMSJoC/2022.0283). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of INFORMS Journal on Computing is the property of INFORMS: Institute for Operations Research & the Management Sciences and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=176567442
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1287/ijoc.2022.0283
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 23
        StartPage: 456
    Subjects:
      – SubjectFull: Plovdiv (Bulgaria)
        Type: general
      – SubjectFull: Brazil
        Type: general
      – SubjectFull: Data libraries
        Type: general
      – SubjectFull: Arbitrary constants
        Type: general
      – SubjectFull: Constrained optimization
        Type: general
      – SubjectFull: Software development tools
        Type: general
      – SubjectFull: Automatic differentiation
        Type: general
      – SubjectFull: Quadratic programming
        Type: general
    Titles:
      – TitleFull: Flexible Differentiable Optimization via Model Transformations.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Besançon, Mathieu
      – PersonEntity:
          Name:
            NameFull: Dias Garcia, Joaquim
      – PersonEntity:
          Name:
            NameFull: Legat, Benoît
      – PersonEntity:
          Name:
            NameFull: Sharma, Akshay
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar/Apr2024
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 10919856
          Numbering:
            – Type: volume
              Value: 36
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: INFORMS Journal on Computing
              Type: main
ResultId 1