16 papers · ranked by Valyu relevance
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via…
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that manipulate arrays is challenging. We present a novel verification technique, called full-program induction, for proving (a sub-class of) quantified as well as…
Kenton Murray, Jayant Krishnamurthy
We present probabilistic neural programs, a framework for program induction that permits flexible specification of both a computational model and inference algorithm while simultaneously enabling the use of deep neural networks. Probabilistic neural programs combine a computation graph for specifying a neural network…
Ahmad Ayaz Amin
Many tasks can be easily solved using machine learning techniques. However, some tasks cannot readily be solved using statistical models, requiring a symbolic approach instead. Program induction is one of the ways that such tasks can be solved by means of capturing an interpretable and generalizable algorithm through…
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew Hausknecht + 1 more
'Pushmeet Kohli'] Most recently proposed methods for Neural Program Induction work under the assumption of having a large set of input/output (I/O) examples for learning any underlying input-output mapping. This paper aims to address the problem of data and computation efficiency of program induction by leveraging…
Gaurav Soni, Neelam
Editor, Recently Central Council of Indian Medicine (CCIM), on behalf of the Ministry of Ayush, New Delhi; introduced a fifteen-day; ninety hourly, transitional curriculum (TC) for first-year of academic session 2020-21, for Ayurveda, Siddha, and Unani (ASU) streams. This curriculum was to be implemented by all ASU…
Susan Miles, Joanne Kellett, Sam J. Leinster
Background It is well established that trainee doctors struggle with the transition from medical school to starting work and feel unprepared for many aspects of their new role. There is evidence that suitable induction experiences improve competence and confidence, but available data indicate that trainee doctors on…
Attila Pásztor, Andrea Magyar, Anita Pásztor-Kovács, Attila Rausch
The aims of the study were (1) to develop a domain-general computer-based assessment tool for inductive reasoning and to empirically test the theoretical models of Klauer and Christou and Papageorgiou; and (2) to develop an online game to foster inductive reasoning through mathematical content and to investigate its…
Kang-Il Lee, Koo, Jahyun, Seunghyun Yoon + 6 more
We introduce transductive program synthesis, a new formulation of the program synthesis task that explicitly leverages test inputs during synthesis. While prior approaches to program synthesis—whether based on natural language descriptions or input-output examples—typically aim to generalize from training examples…
Zhao Li, Aaron W. James, Shengxuan Li
Single-cell differential expression (DE) reports changes in mature mRNA abundance, but the same fold-change can reflect faster synthesis or slower decay. Metabolic labeling resolves this ambiguity but is costly and cannot be applied retrospectively to the vast majority of published scRNA-seq. scATrans closes this gap…
John P. Murray, Geoffrey Pucci, George Weyer, Mim Ari + 2 more
'Sarah Dickson' 'Angela Kerins'] Background Hospitalizations are a vital opportunity for the initiation of life-saving opioid agonist therapy (OAT) for patients with opioid use disorder. A novel approach to OAT initiation is the use of IV buprenorphine for low dose induction, which allows patients to immediately start…
David A. Ostrowski, Raju R. Chelluri, Matthew Herzig, Leilei Xia + 6 more
'Brian D. Cortese' 'Daniel S. Roberson' 'Thomas J. Guzzo' 'Daniel J. Lee' 'S. Bruce Malkowicz' 'Olivier Cuvillier'] Simple Summary Intravesical Bacillus Calmette-Guérin (BCG) instillation is an important treatment for non-muscle invasive bladder cancer. Recent BCG shortages have forced urologists to try alternative…
Authors not listed
Step-by-step thinking is essential in all domains of chemical sciences and engineering. While machine learning tools are broadly used, algorithms that automate reasoning are far less common. We elaborate on seven categories of human reasoning activities and connect each to applications in chemical science and…
Kaylee Steen, Jay Vornhagen, Zara Y. Weinberg, Julie Boulanger-Bertolus + 3 more
Postdoctoral training enables research independence and professional readiness. National reports have emphasized professional development as a critical component of this training period. In response, many institutions are establishing transferable skills training workshops for postdocs; however, the lack of structured…
Jessica Allen, Ekland Abdiwahab, Meghan D. Morris, Claude Jourdan Le Saux + 4 more
Promoting diversity in the scientific workforce is crucial for harnessing the potential of available talent and ensuring equitable access to Science, Technology, Engineering, Mathematics, and Medicine (STEM-M) careers. We have developed an innovative program called Post-baccalaureate Research Opportunity to Promote…
Tianfan Jin, Brett M Savoie
Contemporary machine learning algorithms have largely succeeded in automating the development of mathematical models from data. Although this is a striking accomplishment, it leaves unaddressed the multitude of scenarios, especially across the chemical sciences and engineering, where deductive, rather than inductive…