arXiv research

The geometry of oscillatory integrals on manifolds with intermediate symmetry.

We use the Dong-Sogge-Zelditch formula to obtain a lower bound for the volume of the nodal sets of eigenfunctions. Our result improves the recent results of Sogge-Zelditch and in dimensions n \leq 5 gives a new proof for the lower bounds of Colding-Minicozzi.

We show that one can obtain logarithmic improvements of $L^2$ geodesic restriction estimates for eigenfunctions on 3-dimensional compact Riemannian manifolds with constant negative curvature. We obtain a $(\logλ)^{-\frac12}$ gain for the $L^2$-restriction bounds, which improves the corresponding bounds of Burq, Gérard …

We show that, for odd $d$, the $L^{\frac{d+2}2}$ bounds of Sogge and Xi for the Nikodym maximal function over manifolds of constant sectional curvature, are unstable with respect to metric perturbation, in the spirit of the work of Sogge and Minicozzi. A direct consequence is the instability of the bounds for the corre…

We prove an analogue of Sogge's local $L^p$ estimates for $L^p$ norms of restrictions of eigenfunctions to submanifolds, and use it to show that for quantum ergodic eigenfunctions one can get improvements of the results of Burq-Gérard-Tzvetkov, Hu, and Chen-Sogge. The improvements are logarithmic on negatively curved m…

We study concentration phenomena of eigenfunctions of the Laplacian on closed Riemannian manifolds. We prove that the volume measure of a closed manifold concentrates around nodal sets of eigenfunctions exponentially. Applying the method of Colding and Minicozzi we also prove restricted exponential concentration inequa…

Recently, Sogge-Zelditch and Colding-Minicozzi gave new power law lower bounds on the size of the nodal sets of eigenfunctions. The purpose of this short note is to point out a third method to obtain a power law lower bound on the volume of the nodal sets. Our method is based on the Donnelly-Fefferman growth bound for …

Improved bounds for Carleson-Sjölin operators on manifolds with specific curvature conditions.

Burq-Gérard-Tzvetkov and Hu established $L^p$ estimates ($2\le p\le \infty$) for the restriction of eigenfunctions to submanifolds. The estimates are sharp, except for the log loss at the endpoint $L^2$ estimates for submanifolds of codimension 2. It has long been believed that the log loss at the endpoint can be remov…

We show that on compact Riemann surfaces of negative curvature, the generalized periods, i.e. the $ν$-th order Fourier coefficient of eigenfunctions $e_λ$ over a period geodesic $γ$ goes to 0 at the rate of $O((\logλ)^{-1/2})$, if $0<ν<c_0λ$, given any $0<c_0<1$. No such result is possible for the sphere $S^2$ or the f…

SED integrates synthesis, execution, and debugging for neural program synthesis.

Stochastic programs simplify complex models with noise and nondeterminism.

Improves probabilistic programming by analyzing program structure.

We propose design guidelines for a probabilistic programming facility suitable for deployment as a part of a production software system. As a reference implementation, we introduce Infergo, a probabilistic programming facility for Go, a modern programming language of choice for server-side software development. We argu…

A neural program synthesis method with iterative fix operations.

Graph-based approach repairs programs from diagnostic feedback.

A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher…

We present a new algorithm for approximate inference in probabilistic programs, based on a stochastic gradient for variational programs. This method is efficient without restrictions on the probabilistic program; it is particularly practical for distributions which are not analytically tractable, including highly struc…

Program synthesis is the task of automatically generating a program consistent with a specification. Recent years have seen proposal of a number of neural approaches for program synthesis, many of which adopt a sequence generation paradigm similar to neural machine translation, in which sequence-to-sequence models are …

We consider the task of mapping pseudocode to long programs that are functionally correct. Given test cases as a mechanism to validate programs, we search over the space of possible translations of the pseudocode to find a program that passes the validation. However, without proper credit assignment to localize the sou…

We develop a technique for generalising from data in which models are samplers represented as program text. We establish encouraging empirical results that suggest that Markov chain Monte Carlo probabilistic programming inference techniques coupled with higher-order probabilistic programming languages are now sufficien…

This book is a graduate-level introduction to probabilistic programming. It not only provides a thorough background for anyone wishing to use a probabilistic programming system, but also introduces the techniques needed to design and build these systems. It is aimed at people who have an undergraduate-level understandi…

Adapting neural networks to guide program optimization for better classifiers.

Neural program embedding can be helpful in analyzing large software, a task that is challenging for traditional logic-based program analyses due to their limited scalability. A key focus of recent machine-learning advances in this area is on modeling program semantics instead of just syntax. Unfortunately evaluating su…

CrossBeam learns to search more efficiently in program synthesis.

The seven non euclidean geometries of the Thurston's geometrization program are proved to originate naturally from singularization morphisms and versal deformations on euclidean 3-manifolds generated in the frame of the Langlands global program. The Poincare conjecture for a 3-manifold appears as a particular case of t…

Program or process is an integral part of almost every IT/OT system. Can we trust the identity/ID (e.g., executable name) of the program? To avoid detection, malware may disguise itself using the ID of a legitimate program, and a system tool (e.g., PowerShell) used by the attackers may have the fake ID of another commo…

Ansor generates high-performance tensor programs for deep learning.

funcGNN uses graph neural networks to estimate program similarity efficiently.

Probabilistic programming is a powerful abstraction for statistical machine learning. Applying static analysis methods to probabilistic programs could serve to optimize the learning process, automatically verify properties of models, and improve the programming interface for users. This field of static analysis for pro…

New method for efficient probabilistic inference using masked language modeling.

Naive approaches to amortized inference in probabilistic programs with unbounded loops can produce estimators with infinite variance. This is particularly true of importance sampling inference in programs that explicitly include rejection sampling as part of the user-programmed generative procedure. In this paper we de…

Cascading flows improve variational inference in structured programs.

BUSTLE synthesizes programs by learning from intermediate values.

Forward inference techniques such as sequential Monte Carlo and particle Markov chain Monte Carlo for probabilistic programming can be implemented in any programming language by creative use of standardized operating system functionality including processes, forking, mutexes, and shared memory. Exploiting this we have …

This work offers a broad perspective on probabilistic modeling and inference in light of recent advances in probabilistic programming, in which models are formally expressed in Turing-complete programming languages. We consider a typical workflow and how probabilistic programming languages can help to automate this wor…

Multimodal deep learning improves flaw detection in software programs.

Introduces Motion Programs for better video analysis of human motion.

Programming has been an important skill for researchers and practitioners in computer science and other related areas. To learn basic programing skills, a long-time systematic training is usually required for beginners. According to a recent market report, the computer software market is expected to continue expanding …

New approach uses neural networks to learn program structure and parameters.

A new method for efficient inference in probabilistic programs with mixed support.

Our goal is to learn a semantic parser that maps natural language utterances into executable programs when only indirect supervision is available: examples are labeled with the correct execution result, but not the program itself. Consequently, we must search the space of programs for those that output the correct resu…

System uses neural networks to prove program equivalence via rewrite rules.

Probabilistic inference procedures are usually coded painstakingly from scratch, for each target model and each inference algorithm. We reduce this effort by generating inference procedures from models automatically. We make this code generation modular by decomposing inference algorithms into reusable program-to-progr…

PLANS synthesizes programs from noisy inputs using neural specs and filtering.

This paper introduces a new technique for quantifying the approximation error of a broad class of probabilistic inference programs, including ones based on both variational and Monte Carlo approaches. The key idea is to derive a subjective bound on the symmetrized KL divergence between the distribution achieved by an a…

New approach generates better synthetic data for neural program synthesis.

This abstract extends on the previous work (arXiv:1407.2646, arXiv:1606.00075) on program induction using probabilistic programming. It describes possible further steps to extend that work, such that, ultimately, automatic probabilistic program synthesis can generalise over any reasonable set of inputs and outputs, in …