Does the “smart money” effect documented by Gruber (1996) and Zheng (1999) reflect fund
selection ability of mutual fund investors? We examine the finding that investors are able to …

We present a novel approach to automatic synthesis of loop-free programs. The approach is
based on a combination of oracle-guided learning from examples, and constraint-based …

The Quadratic Assignment Problem (QAP) is one of the classical combinatorial optimization
problems and is known for its diverse applications. In this paper, we suggest a genetic …

We consider the problem of synthesizing loop-free programs that implement a desired
functionality using components from a given library. Specifications of the desired functionality and …

SAL (see http://sal.csl.sri.com ) is an open suite of tools for analysis of state machines; it
constitutes part of our vision for a Symbolic Analysis Laboratory that will eventually encompass …

Given a neural network (NN) and a set of possible inputs to the network described by polyhedral
constraints, we aim to compute a safe over-approximation of the set of possible output …

A World Health Organization (WHO) Feb 2018 report has recently shown that mortality rate
due to brain or central nervous system (CNS) cancer is the highest in the Asian continent. It is …

Large pre-trained language models have been used to generate code,providing a flexible
interface for synthesizing programs from natural language specifications. However, they often …

This paper models quote setting and price formation in a non-intermediated, order driven
market where trading occurs because investors differ in their share valuations and the advent …

We show that termination of a class of linear loop programs is decidable. Linear loop programs
are discrete-time linear systems with a loop condition governing termination, that is, a …