English
Related papers

Related papers: Submodule approach to creative telescoping

200 papers

Market making (MM) through Reinforcement Learning (RL) has attracted significant attention in financial trading. With the development of Large Language Models (LLMs), more and more attempts are being made to apply LLMs to financial areas. A…

Artificial Intelligence · Computer Science 2026-01-30 Tianhao Fu , Xinxin Xu , Weichen Xu , Jue Chen , Ruilong Ren , Bowen Deng , Xinyu Zhao , Jian Cao , Xixin Cao

Submodular functions are discrete analogs of convex functions, which have applications in various fields, including machine learning and computer vision. However, in large-scale applications, solving Submodular Function Minimization (SFM)…

Machine Learning · Statistics 2018-06-08 Weizhong Zhang , Bin Hong , Lin Ma , Wei Liu , Tong Zhang

Tensor methods are among the most prominent tools for the numerical solution of high-dimensional problems where functions of multiple variables have to be approximated. These methods exploit the tensor structure of function spaces and apply…

Numerical Analysis · Mathematics 2021-02-01 Anthony Nouy

A complete reduction on a difference field is a linear operator that enables one to decompose an element of the field as the sum of a summable part and a remainder such that the given element is summable if and only if the remainder is…

Symbolic Computation · Computer Science 2025-06-11 Shaoshi Chen , Yiman Gao , Hui Huang , Carsten Schneider

Owing to the advances in computational techniques and the increase in computational power, atomistic simulations of materials can simulate large systems with higher accuracy. Complex phenomena can be observed in such state-of-the-art…

Materials Science · Physics 2022-02-16 Ryo Tamura , Momo Matsuda , Jianbo Lin , Yasunori Futamura , Tetsuya Sakurai , Tsuyoshi Miyazaki

Due to the substantial scale of Large Language Models (LLMs), the direct application of conventional compression methodologies proves impractical. The computational demands associated with even minimal gradient updates present challenges,…

Machine Learning · Computer Science 2023-12-13 Arnav Chavan , Nahush Lele , Deepak Gupta

Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a…

Logic in Computer Science · Computer Science 2020-10-09 Ryu Hasegawa

The ubiquity of the class of D-finite functions and P-recursive sequences in symbolic computation is widely recognized. In this thesis, the presented work consists of two parts related to this class. In the first part, we generalize the…

Symbolic Computation · Computer Science 2017-10-25 Hui Huang

Monitoring Machine Learning (ML) models in production environments is crucial, yet traditional approaches often yield verbose, low-interpretability outputs that hinder effective decision-making. We propose a cognitive architecture for ML…

Machine Learning · Computer Science 2025-06-12 Gusseppe Bravo-Rocca , Peini Liu , Jordi Guitart , Rodrigo M Carrillo-Larco , Ajay Dholakia , David Ellison

Dynamic mode decomposition (DMD) is a data-driven method for estimating the dynamics of a discrete dynamical system. This paper proposes a tensor-based approach to DMD for applications in which the states can be viewed as tensors.…

Numerical Analysis · Mathematics 2025-08-15 Arvind K. Saibaba , Misha E. Kilmer , Khalil Hall-Hooper , Fan Tian , Alex Mize

We present RETROCAM, an auxiliary CCD camera that can be rapidly inserted into the optical beam of the MDM 2.4m telescope. The speed and ease of reconfiguring the telescope to use the imager and a straightforward user interface permit the…

Low level image restoration is an integral component of modern artificial intelligence (AI) driven camera pipelines. Most of these frameworks are based on deep neural networks which present a massive computational overhead on resource…

Computer Vision and Pattern Recognition · Computer Science 2020-07-14 Avisek Lahiri , Sourav Bairagya , Sutanu Bera , Siddhant Haldar , Prabir Kumar Biswas

Nonnegative Tucker decomposition (NTD) is a powerful tool for the extraction of nonnegative parts-based and physically meaningful latent components from high-dimensional tensor data while preserving the natural multilinear structure of…

Machine Learning · Computer Science 2015-09-17 Guoxu Zhou , Andrzej Cichocki , Qibin Zhao , Shengli Xie

One of the most computationally challenging problems expected for the High-Luminosity Large Hadron Collider (HL-LHC) is determining the trajectory of charged particles during event reconstruction. Algorithms used at the LHC today rely on…

Transistor topology optimization is a critical step in standard cell design, directly dictating diffusion sharing efficiency and downstream routability. However, identifying optimal topologies remains a persistent bottleneck, as…

Machine Learning · Computer Science 2026-04-17 Zhan Song , Yu-Tung Liu , Chen Chen , Guoheng Sun , Jiaqi Yin , Chia-tung Ho , Ang Li , Haoxing Ren , Cunxi Yu

Dual encoder Vision-Language Models (VLM) such as CLIP are widely used for image-text retrieval tasks. However, those models struggle with compositionality, showing a bag-of-words-like behavior that limits their retrieval performance. Many…

Computer Vision and Pattern Recognition · Computer Science 2025-06-12 Imanol Miranda , Ander Salaberria , Eneko Agirre , Gorka Azkune

Fast, non-destructive and on-site quality control tools, mainly high sensitive imaging techniques, are important to assess the reliability of photovoltaic plants. To minimize the risk of further damages and electrical yield losses,…

Computer Vision and Pattern Recognition · Computer Science 2020-10-01 Mathis Hoffmann , Bernd Doll , Florian Talkenberg , Christoph J. Brabec , Andreas K. Maier , Vincent Christlein

This paper introduces a novel approach for efficiently distilling LLMs into smaller, application-specific models, significantly reducing operational costs and manual labor. Addressing the challenge of deploying computationally intensive…

Computation and Language · Computer Science 2024-03-26 Lukas Vöge , Vincent Gurgul , Stefan Lessmann

Large language models are revolutionizing several areas, including artificial creativity. However, the process of generation in machines profoundly diverges from that observed in humans. In particular, machine generation is characterized by…

Artificial Intelligence · Computer Science 2024-10-08 Giorgio Franceschelli , Mirco Musolesi

A method is proposed to streamline the computation of hidden particle production rates by factorizing them into i) a model-independent SM contribution, and ii) a observable-independent hidden sector contribution. The Standard Model (SM)…

High Energy Physics - Phenomenology · Physics 2022-09-14 Philipp Klose