paper-with-me

Papers

Exploiting Problem Structure in Deep Declarative Networks: Two Case Studies

2022-02-24 · Stephen Gould, Dylan Campbell, Itzik Ben-Shabat, Chamin Hewa Koneputugodage, Zhiwei Xu

Deep declarative networks and other recent related works have shown how to differentiate the solution map of a (continuous) parametrized optimization problem, opening up the possibility of embedding mathematical optimization problems into end-to-end learnable models. These differentiability results can lead to significant memory savings by providing an expression for computing the derivative without needing to unroll the steps of the forward-pass optimization procedure during the backward pass. However, the results typically require inverting a large Hessian matrix, which is computationally expensive when implemented naively. In this work we study two applications of deep declarative networks -- robust vector pooling and optimal transport -- and show how problem structure can be exploited to obtain very efficient backward pass computations in terms of both time and memory. Our ideas can be used as a guide for improving the computational performance of other novel deep declarative nodes.

📄 PDF Abstract BibTeX arXiv:2202.12404

Code (0)

등록된 구현이 없습니다.

Tasks

Vocal Bursts Valence Prediction

Similar Papers 제목 키워드 기반

P6: A Declarative Language for Integrating Machine Learning in Visual Analytics

2020-09-03 · Jianping Kelvin Li, Kwan-Liu Ma

We present P6, a declarative language for building high performance visual analytics systems through its support for specifying and integrating machine learning and interactive visualization methods. As data analysis met…

BIG-bench Machine Learning

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP

2019-09-18 · Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl 외

Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific heuristics in Answer Set Programming (A…

Negation

Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study

2022-09-20 · Joscha Grüger, Tobias Geyer, Martin Kuhn, Stefan Braun 외

Conformance checking is a process mining technique that allows verifying the conformance of process instances to a given model. Thus, this technique is predestined to be used in the medical context for the comparison of …

Spatial Language Understanding with Multimodal Graphs using Declarative Learning based Programming

2017-09-01 · WS 2017 9 · Parisa Kordjamshidi, Taher Rahgooy, Umar Manzoor

This work is on a previously formalized semantic evaluation task of spatial role labeling (SpRL) that aims at extraction of formal spatial meaning from text. Here, we report the results of initial efforts towards exploit…

Image CaptioningImage RetrievalQuestion AnsweringStructured Prediction+1

Revisiting Prompt Engineering via Declarative Crowdsourcing

2023-08-07 · Aditya G. Parameswaran, Shreya Shankar, Parth Asawa, Naman jain 외

Large language models (LLMs) are incredibly powerful at comprehending and generating data in the form of text, but are brittle and error-prone. There has been an advent of toolkits and recipes centered around so-called p…

Entity ResolutionImputationPrompt Engineering