English
Related papers

Related papers: Core Challenge 2022: Solver and Graph Descriptions

200 papers

Information Retriever (IR) aims to find the relevant documents (e.g. snippets, passages, and articles) to a given query at large scale. IR plays an important role in many tasks such as open domain question answering and dialogue systems,…

Computation and Language · Computer Science 2022-06-01 Man Luo

Integrated Gradients (IG) is a common explainability technique to address the black-box problem of neural networks. Integrated gradients assumes continuous data. Graphs are discrete structures making IG ill-suited to graphs. In this work,…

Machine Learning · Computer Science 2025-09-10 Lachlan Simpson , Kyle Millar , Adriel Cheng , Cheng-Chew Lim , Hong Gunn Chew

The integration of graphs with Goal-conditioned Hierarchical Reinforcement Learning (GCHRL) has recently gained attention, as intermediate goals (subgoals) can be effectively sampled from graphs that naturally represent the overall task…

Machine Learning · Computer Science 2025-11-17 Shuyuan Zhang , Zihan Wang , Xiao-Wen Chang , Doina Precup

This paper provides a review of the NTIRE 2026 challenge on mobile real-world image super-resolution, highlighting the proposed solutions and the resulting outcomes. The challenge aims to recover high-resolution (HR) images from…

This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint additions and/or retractions (without any propagation),…

Software Engineering · Computer Science 2007-05-23 Samir Ouis , Narendra Jussien , Patrice Boizumault

This paper reviews the NTIRE 2026 challenge on efficient single-image super-resolution with a focus on the proposed solutions and results. The aim of this challenge is to devise a network that reduces one or several aspects, such as…

This paper reviews the NTIRE 2024 RAW Image Super-Resolution Challenge, highlighting the proposed solutions and results. New methods for RAW Super-Resolution could be essential in modern Image Signal Processing (ISP) pipelines, however,…

In this paper, we observe and address the challenges of the coordination recognition task. Most existing methods rely on syntactic parsers to identify the coordinators in a sentence and detect the coordination boundaries. However,…

Computation and Language · Computer Science 2023-12-01 Qing Wang , Haojie Jia , Wenfei Song , Qi Li

Graph neural networks have emerged as a leading architecture for many graph-level tasks, such as graph classification and graph generation. As an essential component of the architecture, graph pooling is indispensable for obtaining a…

Machine Learning · Computer Science 2023-06-23 Chuang Liu , Yibing Zhan , Jia Wu , Chang Li , Bo Du , Wenbin Hu , Tongliang Liu , Dacheng Tao

We report the results of DialogSum Challenge, the shared task on summarizing real-life scenario dialogues at INLG 2022. Four teams participate in this shared task and three submit their system reports, exploring different methods to improve…

Computation and Language · Computer Science 2022-09-07 Yulong Chen , Naihao Deng , Yang Liu , Yue Zhang

Solving combinatorial optimization (CO) on graphs is among the fundamental tasks for upper-stream applications in data mining, machine learning and operations research. Despite the inherent NP-hard challenge for CO, heuristics,…

Optimization and Control · Mathematics 2022-06-07 Han Lu , Zenan Li , Runzhong Wang , Qibing Ren , Junchi Yan , Xiaokang Yang

This paper is devoted to overview of the authors works for numerical solution of singular integral equations (SIE), polysingular integral equations and multi-dimensional singular integral equations of the second kind. The authors…

Numerical Analysis · Mathematics 2016-11-01 I. V. Boykov

Large multimodal models (LMMs) have exhibited proficiencies across many visual tasks. Although numerous well-known benchmarks exist to evaluate model performance, they increasingly have insufficient headroom. As such, there is a pressing…

Computer Vision and Pattern Recognition · Computer Science 2025-10-17 Jonathan Roberts , Kai Han , Samuel Albanie

Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and…

Artificial Intelligence · Computer Science 2011-10-31 Ian P. Gent , Chris Jefferson , Lars Kotthoff , Ian Miguel

This paper is simply a collection of process diagrams for further use and reference. These are diagrams about different approaches to research.

Human-Computer Interaction · Computer Science 2022-09-27 Sheelagh Carpendale

We present, to the best of the authors' knowledge, all known results for the (planar) crossing numbers of specific graphs and graph families. The results are separated into various categories; specifically, results for general graph…

Combinatorics · Mathematics 2021-12-09 Kieran Clancy , Michael Haythorpe , Alex Newcombe

Knowledge graph models world knowledge as concepts, entities, and the relationships between them, which has been widely used in many real-world tasks. CCKS 2019 held an evaluation track with 6 tasks and attracted more than 1,600 teams. In…

Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails. To this end, we have designed…

Human-Computer Interaction · Computer Science 2017-01-31 Sylvain Conchon , Mohamed Iguernlala , Alain Mebsout

Many real-world datasets can be naturally represented as graphs, spanning a wide range of domains. However, the increasing complexity and size of graph datasets present significant challenges for analysis and computation. In response, graph…

Social and Information Networks · Computer Science 2024-07-02 Mohammad Hashemi , Shengbo Gong , Juntong Ni , Wenqi Fan , B. Aditya Prakash , Wei Jin

The electromagnetic behavior of plasmonic structures can be predicted after discretizing and solving a linear system of equations, derived from a continuous surface integral equation (SIE) and the appropriate boundary conditions, using a…

Computational Physics · Physics 2015-10-20 Hipolito Gomez-Sousa , Oscar Rubiños-Lopez , Jose Angel Martinez-Lorenzo