Skip to main content

Showing 1–3 of 3 results for author: Dinmohammadi, F

Searching in archive cs. Search in all archives.
.
  1. arXiv:2508.03329  [pdf, ps, other

    cs.SE cs.AI

    Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach

    Authors: Mari Ashiga, Vardan Voskanyan, Fateme Dinmohammadi, Jingzhi Gong, Paul Brookes, Matthew Truscott, Rafail Giavrimis, Mike Basios, Leslie Kanthan, Wei Jie

    Abstract: Recent advancements in Large Language Models (LLMs) for code optimization have enabled industrial platforms to automate software performance engineering at unprecedented scale and speed. Yet, organizations in regulated industries face strict constraints on which LLMs they can use - many cannot utilize commercial models due to data privacy regulations and compliance requirements, creating a signifi… ▽ More

    Submitted 6 August, 2025; v1 submitted 5 August, 2025; originally announced August 2025.

    Comments: Submitted to ASE'25 Industry Showcase

  2. arXiv:2503.13505  [pdf, ps, other

    cs.CL cs.AI cs.LG

    Ensemble Learning for Large Language Models in Text and Code Generation: A Survey

    Authors: Mari Ashiga, Wei Jie, Fan Wu, Vardan Voskanyan, Fateme Dinmohammadi, Paul Brookes, Jingzhi Gong, Zheng Wang

    Abstract: Generative Pretrained Transformers (GPTs) are foundational Large Language Models (LLMs) for text generation. However, individual LLMs often produce inconsistent outputs and exhibit biases, limiting their representation of diverse language patterns. The closed-source nature of many powerful LLMs further restricts industry applications due to data privacy concerns. Inspired by successes in text gene… ▽ More

    Submitted 5 August, 2025; v1 submitted 13 March, 2025; originally announced March 2025.

    Comments: Under review by IEEE TAI

  3. Probabilistic Model Checking of Robots Deployed in Extreme Environments

    Authors: Xingyu Zhao, Valentin Robu, David Flynn, Fateme Dinmohammadi, Michael Fisher, Matt Webster

    Abstract: Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncertain conditions, and poses new challenges for assuring the robot's safety and reliability. In this paper, we develop a framework for probabilistic model checking on a layered Markov model to verify the safety and reliabili… ▽ More

    Submitted 15 February, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

    Comments: Version accepted at the 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019