- Centre National de la Recherche ScientifiqueFR2.7k papers
- Canadian Institute for Theoretical AstrophysicsCA2.5k papers
- University of OxfordGB2.2k papers
- University of ChicagoUS2.2k papers
- Lawrence Berkeley National LaboratoryUS2.2k papers
- University of British ColumbiaCA2k papers
- McGill UniversityCA2k papers
- University College LondonGB2k papers
- University of MichiganUS1.9k papers
- University of GenevaCH1.9k papers
- University of California, BerkeleyUS1.9k papers
- The Ohio State UniversityUS1.9k papers
850 papers · 1 filter
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications
Alberto Camacho, Sheila A. McIlraith
Synthesizing a program that realizes a logical specification is a classical problem in computer science. We examine a particular type of program synthesis, where the objective is t…
Globally Optimal And Adaptive Short-Term Forecast of Locally Stationary Time Series And A Test for Its Stability
Xiucai Ding, Zhou Zhou
Forecasting the evolution of complex systems is one of the grand challenges of modern data science. The fundamental difficulty lies in understanding the structure of the observed s…
An Analysis of the Expressiveness of Deep Neural Network Architectures Based on Their Lipschitz Constants
SiQi Zhou, Angela P. Schoellig
Deep neural networks (DNNs) have emerged as a popular mathematical tool for function approximation due to their capability of modelling highly nonlinear functions. Their applicatio…
From Welcome New Gabbers to the Pittsburgh Synagogue Shooting: The Evolution of Gab
Reid McIlroy-Young, Ashton Anderson
Gab, an online social media platform with very little content moderation, has recently come to prominence as an alt-right community and a haven for hate speech. We document the evo…
TOI 564 b and TOI 905 b: Grazing and Fully Transiting Hot Jupiters Discovered by TESS
Allen B. Davis, Songhu Wang, Matias Jones +46
We report the discovery and confirmation of two new hot Jupiters discovered by the Transiting Exoplanet Survey Satellite (TESS): TOI 564 b and TOI 905 b. The transits of these two…
Experimental study of the thermodynamic uncertainty relation
Soham Pal, Sushant Saryal, Dvira Segal +2
A cost-precision trade-off relationship, the so-called thermodynamic uncertainty relation (TUR), has been recently discovered in stochastic thermodynamics. It bounds certain thermo…