activity
20192022
most citedIsolating Functions at the Hardware Limit with Virtines

17 citations · 18 across the 6 of their papers we have counts for

collaborators

7 papers

math.CO2022

Convex geometries representable with colors, by ellipses on the plane, and impossible by circles

Kira Adaricheva, Evan Daisy, Ayush Garg +5

A convex geometry is a closure system satisfying the anti-exchange property. This paper, following the work of K. Adaricheva and M. Bolat (2016) and the Polymath REU 2020 team, con…

eess.AS2021

Towards efficient end-to-end speech recognition with biologically-inspired neural networks

Thomas Bohnstingl, Ayush Garg, Stanisław Woźniak +3

Automatic speech recognition (ASR) is a capability which enables a program to process human speech into a written form. Recent developments in artificial intelligence (AI) have led…

cs.CL2021

MIPE: A Metric Independent Pipeline for Effective Code-Mixed NLG Evaluation

Ayush Garg, Sammed S Kagi, Vivek Srivastava +1

Code-mixing is a phenomenon of mixing words and phrases from two or more languages in a single utterance of speech and text. Due to the high linguistic diversity, code-mixing prese…

cs.PL2021★ 17 cited

Isolating Functions at the Hardware Limit with Virtines

Nicholas C. Wanninger, Joshua J. Bowden, Kirtankumar Shetty +2

An important class of applications, including programs that leverage third-party libraries, programs that use user-defined functions in databases, and serverless applications, bene…

math.CO2020★ 1 cited

Convex geometries representable by at most 5 circles on the plane

PolyMath REU Convex Geometries Collaboration, Kira Adaricheva, Madina Bolat +18

A convex geometry is a closure system satisfying the anti-exchange property. In this work we document all convex geometries on 4- and 5-element base sets with respect to their repr…

cs.IR2020

SEAL: Scientific Keyphrase Extraction and Classification

Ayush Garg, Sammed Shantinath Kagi, Mayank Singh

Automatic scientific keyphrase extraction is a challenging problem facilitating several downstream scholarly tasks like search, recommendation, and ranking. In this paper, we intro…