中文
相关论文

相关论文: Learning to Compile Programs to Neural Networks

200 篇论文

This paper describes a neural semantic parser that maps natural language utterances onto logical forms which can be executed against a task-specific environment, such as a knowledge base or a database, to produce a response. The parser…

计算与语言 · 计算机科学 2018-08-14 Jianpeng Cheng , Siva Reddy , Vijay Saraswat , Mirella Lapata

Program synthesis is the generation of a program from a specification. Correct synthesis is difficult, and methods that provide formal guarantees suffer from scalability issues. On the other hand, neural networks are able to generate…

计算机科学中的逻辑 · 计算机科学 2020-01-28 Elizabeth Polgreen , Ralph Abboud , Daniel Kroening

Deep learning has had a significant impact on many fields. Recently, code-to-code neural models have been used in code translation, code refinement and decompilation. However, the question of whether these models can automate compilation…

人工智能 · 计算机科学 2022-12-19 Jordi Armengol-Estapé , Michael F. P. O'Boyle

Developing surrogates for computer models has become increasingly important for addressing complex problems in science and engineering. This article introduces an artificial intelligent (AI) surrogate, referred to as the DeepSurrogate, for…

统计方法学 · 统计学 2025-05-21 Yeseul Jeon , Rajarshi Guhaniyogi , Aaron Scheffler , Devin Francom , Donatella Pasqualini

We propose a new kind of embedding for natural language text that deeply represents semantic meaning. Standard text embeddings use the outputs from hidden layers of a pretrained language model. In our method, we let a language model learn…

计算与语言 · 计算机科学 2022-11-22 Oleg Vasilyev , John Bohannon

Physics simulators are essential in science and engineering, enabling the analysis, control, and design of complex systems. In experimental sciences, they are increasingly used to automate experimental design, often via combinatorial search…

Neural surrogates promise large speedups over classical solvers for physical dynamics but fail silently at sharp dynamical events such as shocks, fronts, and contact. We present hybrid neural world models for physical dynamics: a recipe for…

机器学习 · 计算机科学 2026-05-28 Pranav Lakshmanan , Paras Chopra

Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to…

机器学习 · 计算机科学 2016-08-05 Arvind Neelakantan , Quoc V. Le , Ilya Sutskever

Surrogate models driven by sizeable datasets and scientific machine-learning methods have emerged as an attractive microstructure simulation tool with the potential to deliver predictive microstructure evolution dynamics with huge savings…

材料科学 · 物理学 2024-01-22 Shaoxun Fan , Andrew L. Hitt , Ming Tang , Babak Sadigh , Fei Zhou

Many problems in computer vision have recently been tackled using models whose predictions cannot be easily interpreted, most commonly deep neural networks. Surrogate explainers are a popular post-hoc interpretability method to further…

计算机视觉与模式识别 · 计算机科学 2022-10-11 Ricardo Kleinlein , Alexander Hepburn , Raúl Santos-Rodríguez , Fernando Fernández-Martínez

Though modern neural networks have achieved impressive performance in both vision and language tasks, we know little about the functions that they implement. One possibility is that neural networks implicitly break down complex tasks into…

计算与语言 · 计算机科学 2023-11-08 Michael A. Lepori , Thomas Serre , Ellie Pavlick

Learning image representations using synthetic data allows training neural networks without some of the concerns associated with real images, such as privacy and bias. Existing work focuses on a handful of curated generative processes which…

计算机视觉与模式识别 · 计算机科学 2023-11-08 Manel Baradad , Chun-Fu Chen , Jonas Wulff , Tongzhou Wang , Rogerio Feris , Antonio Torralba , Phillip Isola

Surrogate models provide compact relations between user-defined input parameters and output quantities of interest, enabling the efficient evaluation of complex parametric systems in many-query settings. Such capabilities are essential in a…

数值分析 · 数学 2026-03-16 Matteo Giacomini , Pedro Díez

This chapter deals with kernel methods as a special class of techniques for surrogate modeling. Kernel methods have proven to be efficient in machine learning, pattern recognition and signal analysis due to their flexibility, excellent…

数值分析 · 数学 2022-10-31 Gabriele Santin , Bernard Haasdonk

Surrogate models are used to alleviate the computational burden in engineering tasks, which require the repeated evaluation of computationally demanding models of physical systems, such as the efficient propagation of uncertainties. For…

机器学习 · 统计学 2022-09-28 Felix Schneider , Iason Papaioannou , Gerhard Müller

Temporal networks are essential for modeling and understanding systems whose behavior varies in time, from social interactions to biological systems. Often, however, real-world data are prohibitively expensive to collect in a large scale or…

社会与信息网络 · 计算机科学 2023-08-23 Antonio Longa , Giulia Cencetti , Sune Lehmann , Andrea Passerini , Bruno Lepri

Clinical adoption of personalized virtual heart simulations faces challenges in model personalization and expensive computation. While an ideal solution is an efficient neural surrogate that at the same time is personalized to an individual…

Recent years have seen a surge in deep learning approaches to accelerate numerical solvers, which provide faithful but computationally intensive simulations of the physical world. These deep surrogates are generally trained in a supervised…

机器学习 · 计算机科学 2023-10-02 Lucas Meyer , Marc Schouler , Robert Alexander Caulk , Alejandro Ribés , Bruno Raffin

Modern AI agents such as large language models are trained on diverse tasks -- translation, code generation, mathematical reasoning, and text prediction -- simultaneously. A key question is how to quantify the influence of each individual…

机器学习 · 计算机科学 2026-05-12 Zhenshuo Zhang , Minxuan Duan , Hongyang R. Zhang

In many mechanistic medical, biological, physical and engineered spatiotemporal dynamic models the numerical solution of partial differential equations (PDEs) can make simulations impractically slow. Biological models require the…

软凝聚态物质 · 物理学 2021-02-11 J. Quetzalcóatl Toledo-Marín , Geoffrey Fox , James P. Sluka , James A. Glazier