English
Related papers

Related papers: Tuning FORM with large calculations

200 papers

With the capabilities of understanding and executing natural language instructions, Large language models (LLMs) can potentially act as a powerful tool for textual data augmentation. However, the quality of augmented data depends heavily on…

Computation and Language · Computer Science 2024-04-30 Yichuan Li , Kaize Ding , Jianling Wang , Kyumin Lee

The article suggests a description of a system of tables with a set of special lists absorbing a semantics of data and reflects a fullness of data. It shows how their parallel processing can be constructed based on the descriptions. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-11-03 R. Nuriyev

This is a conspectus of definite integrals, products and series. These formulae involve special functions in the integrand and summand functions and closed form solutions. Some of the special cases are stated in terms of fundamental…

General Mathematics · Mathematics 2024-03-01 Robert Reynolds

To be informative, an evaluation must measure how well systems generalize to realistic unseen data. We identify limitations of and propose improvements to current evaluations of text-to-SQL systems. First, we compare human-generated and…

Computation and Language · Computer Science 2020-06-05 Catherine Finegan-Dollak , Jonathan K. Kummerfeld , Li Zhang , Karthik Ramanathan , Sesh Sadasivam , Rui Zhang , Dragomir Radev

We present Version 9 of the Feynman-diagram calculator FormCalc and a flexible new suite of shell scripts and Mathematica packages based on FormCalc, which can be adapted and used as a template for calculations.

High Energy Physics - Phenomenology · Physics 2016-12-21 T. Hahn , S. Passehr , C. Schappacher

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only…

General Literature · Computer Science 2013-08-15 Carlo A. Furia , Dino Mandrioli , Angelo Morzenti , Matteo Rossi

Visually Rich Form Understanding (VRFU) poses a complex research problem due to the documents' highly structured nature and yet highly variable style and content. Current annotation schemes decompose form understanding and omit key…

Computation and Language · Computer Science 2024-02-09 Ran Zmigrod , Zhiqiang Ma , Armineh Nourbakhsh , Sameena Shah

How capable are large language models (LLMs) in the domain of taxation? Although numerous studies have explored the legal domain, research dedicated to taxation remains scarce. Moreover, the datasets used in these studies are either…

Computation and Language · Computer Science 2026-02-10 Eunkyung Choi , Youngjin Suh , Siun Lee , Hongseok Oh , Juheon Kang , Won Hur , Hun Park , Wonseok Hwang

Precision tuning or customized precision number representations is emerging, in these recent years, as one of the most promising techniques that has a positive impact on the footprint of programs concerning energy consumption, bandwidth…

Software Engineering · Computer Science 2022-03-16 Dorra Ben Khalifa , Matthieu Martel

Large language models (LLMs) demonstrate strong mathematical reasoning, but reliance on closed-source APIs for OR tasks raises privacy concerns, and training open-source models from scratch incurs high compute costs. We introduce…

Artificial Intelligence · Computer Science 2025-10-03 Jianzhang Zhang , Jialong Zhou , Chuang Liu

Large language models (LLMs) have introduced new paradigms for recommender systems by enabling richer semantic understanding and incorporating implicit world knowledge. In this study, we propose a systematic taxonomy that classifies…

Information Retrieval · Computer Science 2025-05-30 Wei-Hsiang Huang , Chen-Wei Ke , Wei-Ning Chiu , Yu-Xuan Su , Chun-Chun Yang , Chieh-Yuan Cheng , Yun-Nung Chen , Pu-Jen Cheng

The scale and complexity of workloads in modern cloud services have brought into sharper focus a critical challenge in automated index tuning -- the need to recommend high-quality indexes while maintaining index tuning scalability. This…

Databases · Computer Science 2023-08-29 Tarique Siddiqui , Wentao Wu

Several methods have been proposed for classifying long textual documents using Transformers. However, there is a lack of consensus on a benchmark to enable a fair comparison among different approaches. In this paper, we provide a…

Computation and Language · Computer Science 2022-03-23 Hyunji Hayley Park , Yogarshi Vyas , Kashif Shah

We discuss the practical problems arising when constructing any (new or old) scales on slide rules, i.e. realizing the theory in the practice. This might help anyone in planning and realizing (mainly the magnitude and labeling of) new…

History and Overview · Mathematics 2017-06-15 Istvan Szalkai , Ace Hoffman

Some mistaken reasonings at the end of the paper omitted.

High Energy Physics - Theory · Physics 2009-10-22 F. A. Smirnov

Machine learning models may involve decision boundaries that change over time due to updates to rules and regulations, such as in loan approvals or claims management. However, in such scenarios, it may take time for sufficient training data…

Machine Learning · Computer Science 2022-01-10 Öznur Alkan , Dennis Wei , Massimiliano Mattetti , Rahul Nair , Elizabeth M. Daly , Diptikalyan Saha

Recently, using automatic configuration tuning to improve the performance of modern database management systems (DBMSs) has attracted increasing interest from the database community. This is embodied with a number of systems featuring…

Databases · Computer Science 2022-03-15 Xinyi Zhang , Zhuo Chang , Yang Li , Hong Wu , Jian Tan , Feifei Li , Bin Cui

Many new database application domains such as experimental sciences and medicine are characterized by large sequences as their main form of data. Using approximate representation can significantly reduce the required storage and search…

Databases · Computer Science 2019-04-22 Hagit Shatkay , Stanley B. Zdonik

We propose a new method to design adaptation algorithms that guarantee a certain prescribed level of performance and are applicable to systems with nonconvex parameterization. The main idea behind the method is, given the desired…

Optimization and Control · Mathematics 2007-05-23 I. Y. Tyukin , D. V. Prokhorov , Cees van Leeuwen

We consider the issue of calibration in large language models (LLM). Recent studies have found that common interventions such as instruction tuning often result in poorly calibrated LLMs. Although calibration is well-explored in traditional…

Machine Learning · Computer Science 2024-06-28 Maohao Shen , Subhro Das , Kristjan Greenewald , Prasanna Sattigeri , Gregory Wornell , Soumya Ghosh