5 papers
REMODEL-LLM: Transforming C code to Java using LLMs
Aryan Gupta, Y. Raghu Reddy
The automated translation of C code to Java code is a notoriously difficult task, fraught with challenges stemming from fundamental paradigm shifts (procedural vs. Object Oriented)…
SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
David Jiahao Fu, Aryan Gupta, Aaron Councilman +3
Recent advancements in large language models (LLMs) have shown very impressive capabilities in code generation across many programming languages. However, even state-of-the-art LLM…
Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
Aaron Councilman, David Jiahao Fu, Aryan Gupta +4
In the past few years LLMs have emerged as a tool that can aid programmers by taking natural language descriptions and generating code based on it. However, the reliability of LLM…
Assessing the Limits of Graph Neural Networks for Vapor-Liquid Equilibrium Prediction: A Cryogenic Mixture Case Study
Aryan Gupta
Accurate and fast thermophysical models are needed to embed vapor-liquid equilibrium (VLE) calculations in design, optimization, and control loops for cryogenic mixtures. This stud…
Energy Efficiency in Robotics Software: A Systematic Literature Review (2020-2024)
Aryan Gupta
This study presents a systematic literature review of software-level approaches to energy efficiency in robotics published from 2020 through 2024, updating and extending pre-2020 e…