Rewriting Regular Expressions via Neuro-Symbolic Search
Dnr:
NAISS 2023/22-1119
Type:
NAISS Small Compute
Principal Investigator:
Andrea Silvi
Affiliation:
Chalmers tekniska högskola
Start Date:
2023-10-30
End Date:
2024-11-01
Primary Classification:
10201: Computer Sciences
Webpage:
Allocation
Abstract
In this project we will explore how to neurally synthesize a class of symbolic algorithms that deal with rewriting regular expressions in terms of other given regular expressions, considering what the pros and cons of different approaches in terms of search and input representation are.