Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About Me
About me
Posts
Something about 3n + 1
Published:
Maintaining a blog for some reason?
Published:
PhD Week 76
Wow, 10 whole weeks since my first post. Hopefully, the long run frequency of my posts will be greater than 0.4 posts/month, but I guess we’ll see. Regardless of frequency, the purpose of these posts as I stated in the original post is to document my life, my thoughts, and the progression of my research. The most significant updates to mention are:
Starting a blog for some reason.
Published:
Why?
I started my PhD program in the Fall of 2023. At this time, I wasn’t sure whether or not I was even qualified to pursue this dream of mine. Only a few weeks prior, I was slogging my way through my final undergraduate course (linear algebra), while failing to resist all the distractions present in my life. In the beginning of my program, I was constantly concerned that I would immediately fail out for one reason or another. Luckily, that did not happen. My lifelong addiction to puzzle-solving fueled me through hundreds of hours of subpar programming, some of which was yielded meaningful, publishable results. The ‘publishable’ part of that would certainly not have been possible without my advisor, Dr. Rickard Ewetz, who against all odds was able to teach me how to write research papers that are both scientifically interesting and academically stylish (at least, in the opinion of some reviewers).
portfolio
Joplin Plugin - Dungeons and Dragons Character Manager
Published:
A Joplin plugin to manage Dungeons & Dragons 5e characters directly in your notes.
Acco
Published:
An open-source chess analysis tool, in the form of a python package. Check it out!
Person-Following Turtlebot
Published:
This was a project for EEL 5934: Autonomous Robotics, taken at the University of Florida with Dr. Islam 
Multi-Cancer Classification
Published:
We trained 5 classifiers for 5 types of cancer as a final project for a graduate Computer Vision course.
SEE UCF 2023
Published:
A collaborative simulation of possible technologies to establish a permanent presence in our solar neighborhood
publications
Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation
Published in ICAA, 2024
The NeSy Program Synthesis approach is evaluated using 600 multi- hop navigation tasks with 1 to 10 hops. Compared with neural approaches, the our approach improves the success rate and path efficiency by an average of 64.3% and 19.4% across all tasks, respectively.
Recommended citation: William English, Dominic Simon, M. R. Ahmed, Sumit Jha, and Rickard Ewetz, “Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation”, International Conference on Assured Autonomy (ICAA), 2024.
NSP: A Neuro-Symbolic Natural Language Navigational Planner
Published in ICMLA, 2024
NSP uses a feedback loop from the symbolic execution environment to the neural generation process to self-correct syntax errors and satisfy execution time constraints. We evaluate our neuro-symbolic approach using a benchmark suite with 1500 path-planning problems. The experimental evaluation shows that our neuro-symbolic approach produces 90.1% valid paths that are on average 19-77% shorter than state-of-the-art neural approaches.
Recommended citation: William English, Dominic Simon, Sumit Jha, and Rickard Ewetz, “NSP: A Neuro-Symbolic Natural Language Navigational Planner”, International Conference on Machine Learning and Applications (ICMLA), 2024. https://arxiv.org/abs/2409.06859
Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
Published in ICML, 2025
In this paper, we propose a framework for NL to TL translation called Grammar Forced Translation (GraFT). The framework is based on the observation that previous work solves both the grounding and translation steps by letting a language model iteratively predict tokens from its full vocabulary. GraFT reduces the complexity of both tasks by restricting the set of valid output tokens from the full vocabulary to only a handful in each step. Compared with state-of-the-art translation approaches, it can be observed that GraFT improves the end-to-end translation accuracy by 5.49% and out-of-domain translation accuracy by 14.06% on average.
Recommended citation: William English, Dominic Simon, Sumit Jha, and Rickard Ewetz, “Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs”, International Conference on Machine Learning (ICML), 2025. https://icml.cc/virtual/2025/poster/44027
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.