English
Related papers

Related papers: Int2Int: a framework for mathematics with transfor…

200 papers

PyTorch Adapt is a library for domain adaptation, a type of machine learning algorithm that re-purposes existing models to work in new domains. It is a fully-featured toolkit, allowing users to create a complete train/test pipeline in a few…

Machine Learning · Computer Science 2022-11-30 Kevin Musgrave , Serge Belongie , Ser-Nam Lim

We introduce jiant, an open source toolkit for conducting multitask and transfer learning experiments on English NLU tasks. jiant enables modular and configuration-driven experimentation with state-of-the-art models and implements a broad…

Computation and Language · Computer Science 2020-05-14 Yada Pruksachatkun , Phil Yeres , Haokun Liu , Jason Phang , Phu Mon Htut , Alex Wang , Ian Tenney , Samuel R. Bowman

We present PyTorch Frame, a PyTorch-based framework for deep learning over multi-modal tabular data. PyTorch Frame makes tabular deep learning easy by providing a PyTorch-based data structure to handle complex tabular data, introducing a…

Machine Learning · Computer Science 2024-12-17 Weihua Hu , Yiwen Yuan , Zecheng Zhang , Akihiro Nitta , Kaidi Cao , Vid Kocijan , Jinu Sunil , Jure Leskovec , Matthias Fey

The article provides a brief description of the MathPartner service. This freely available cloud-based Mathematics is a universal system for symbolic-numeric calculations. Its Mathpar language is a subset of the LaTeX language, but allows…

History and Overview · Mathematics 2025-05-08 Gennadi Malaschonok , Roman Sakh

In the theory of programming languages, type inference is the process of inferring the type of an expression automatically, often making use of information from the context in which the expression appears. Such mechanisms turn out to be…

Logic in Computer Science · Computer Science 2012-05-10 Jeremy Avigad

Ptychography has become an indispensable tool for high-resolution, non-destructive imaging using coherent light sources. The processing of ptychographic data critically depends on robust, efficient, and flexible computational reconstruction…

"PyTorch, Explain!" is a Python module integrating a variety of state-of-the-art approaches to provide logic explanations from neural networks. This package focuses on bringing these methods to non-specialists. It has minimal dependencies…

Machine Learning · Computer Science 2021-07-26 Pietro Barbiero , Gabriele Ciravegna , Dobrik Georgiev , Franscesco Giannini

Fractional calculus has become widely studied and applied to physical problems in recent years. As a result, many methods for the numerical computation of fractional derivatives and integrals have been defined. However, these algorithms are…

Mathematical Software · Computer Science 2019-12-12 Matthew Adams

In this paper, we introduce MCTensor, a library based on PyTorch for providing general-purpose and high-precision arithmetic for DL training. MCTensor is used in the same way as PyTorch Tensor: we implement multiple basic, matrix-level…

Machine Learning · Computer Science 2022-08-31 Tao Yu , Wentao Guo , Jianan Canal Li , Tiancheng Yuan , Christopher De Sa

We study machine learning formulations of inductive program synthesis; that is, given input-output examples, synthesize source code that maps inputs to corresponding outputs. Our key contribution is TerpreT, a domain-specific language for…

Machine Learning · Computer Science 2016-12-05 Alexander L. Gaunt , Marc Brockschmidt , Rishabh Singh , Nate Kushman , Pushmeet Kohli , Jonathan Taylor , Daniel Tarlow

We present an open-source toolkit for neural machine translation (NMT). The new toolkit is mainly based on vaulted Transformer (Vaswani et al., 2017) along with many other improvements detailed below, in order to create a self-contained,…

Computation and Language · Computer Science 2022-03-09 Nguyen Hoang Quan , Nguyen Thanh Dat , Nguyen Hoang Minh Cong , Nguyen Van Vinh , Ngo Thi Vinh , Nguyen Phuong Thai , Tran Hong Viet

In deterministic optimization, it is typically assumed that all problem parameters are fixed and known. In practice, however, some parameters may be a priori unknown but can be estimated from contextual information. A typical…

Optimization and Control · Mathematics 2026-04-21 Bo Tang , Elias B. Khalil

We present Continual Inference, a Python library for implementing Continual Inference Networks (CINs) in PyTorch, a class of Neural Networks designed specifically for efficient inference in both online and batch processing scenarios. We…

Machine Learning · Computer Science 2023-06-28 Lukas Hedegaard , Alexandros Iosifidis

Ising machines are a form of quantum-inspired processing-in-memory computer which has shown great promise for overcoming the limitations of traditional computing paradigms while operating at a fraction of the energy use. The process of…

Optimization and Control · Mathematics 2025-07-18 Isaac K. Martin , Andrew G. Moore , John T. Daly , Jess J. Meyer , Teresa M. Ranadive

A large scale collection of both semantic and natural language resources is essential to leverage active Software Engineering research areas such as code reuse and code comprehensibility. Existing machine learning models ingest data from…

We present NeuralOperator, an open-source Python library for operator learning. Neural operators generalize neural networks to maps between function spaces instead of finite-dimensional Euclidean spaces. They can be trained and inferenced…

UI-to-code technology has streamlined the front-end development process, reducing repetitive tasks for engineers. prior research mainly use design prototypes as inputs, with the effectiveness of the generated code heavily dependent on these…

Software Engineering · Computer Science 2024-05-09 Shuhong Xiao , Yunnong Chen , Jiazhi Li , Liuqing Chen , Lingyun Sun , Tingting Zhou

OpenNMT is an open-source toolkit for neural machine translation (NMT). The system prioritizes efficiency, modularity, and extensibility with the goal of supporting NMT research into model architectures, feature representations, and source…

Computation and Language · Computer Science 2018-05-30 Guillaume Klein , Yoon Kim , Yuntian Deng , Vincent Nguyen , Jean Senellart , Alexander M. Rush

Quantum computing has shown great potential to revolutionize traditional computing and can provide an exponential speedup for a wide range of possible applications, attracting various stakeholders. However, understanding fundamental quantum…

Human-Computer Interaction · Computer Science 2025-03-04 Manusha Karunathilaka , Shaolun Ruan , Lin-Ping Yuan , Jiannan Li , Zhiding Liang , Kavinda Athapaththu , Qiang Guan , Yong Wang

We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-performance simulator with emulation capabilities, and…

Quantum Physics · Physics 2018-02-01 Damian S. Steiger , Thomas Häner , Matthias Troyer
‹ Prev 1 4 5 6 7 8 10 Next ›