6 papers
Identifying Latent Declarative Representations of Code for Assisting Repository Migration
Shraddha Surana, Ashwin Srinivasan, Michael Bain
Legacy software repositories embed decades of domain knowledge in undocumented code, making understanding and modernization difficult. We treat a program as the implementation of a…
Interpretable Column Annotation with LLM-Symbolized Decision Process Materialization
Mengqi Wang, Jianwei Wang, Qing Liu +5
Column annotation (CA), including column type annotation (CTA) and column property annotation (CPA), aims to identify the meanings of table columns and the semantic relationships a…
Symbolic Neural Generation with Applications to Lead Discovery in Drug Design
Ashwin Srinivasan, Tirtharaj Dash, A Baskar +3
We investigate a relatively under-explored class of hybrid neurosymbolic models that integrate symbolic learning with neural reasoning to construct data generators meeting formal c…
Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
Shraddha Surana, Ashwin Srinivasan, Michael Bain
The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection,…
Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
Shraddha Surana, Ashwin Srinivasan, Michael Bain
Engineering information systems for scientific data analysis presents significant challenges: complex workflows requiring exploration of large solution spaces, close collaboration…
Retina Vision Transformer (RetinaViT): Introducing Scaled Patches into Vision Transformers
Yuyang Shu, Michael E. Bain
Humans see low spatial frequency components before high spatial frequency components. Drawing on this neuroscientific inspiration, we investigate the effect of introducing patches…