Showing 2025Show all
3 papers · 1 filter
cs.LG2025
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…
cs.SE2025
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,…
cs.AI2025
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…