English
Related papers

Related papers: PROMETHEUS: PROcedural METhodology for developing …

200 papers

The continuous computational power growth in the last decades has made solving several optimization problems significant to humankind a tractable task; however, tackling some of them remains a challenge due to the overwhelming amount of…

Machine Learning · Computer Science 2023-02-01 Luiz C. F. Ribeiro , Mateus Roder , Gustavo H. de Rosa , Leandro A. Passos , João P. Papa

Example-based guidance is widely used to improve mathematical reasoning at inference time, yet its effectiveness is highly unstable across problems and models-even when the guidance is correct and problem-relevant. We show that this…

Artificial Intelligence · Computer Science 2026-02-27 Weida Liang , Yiyou Sun , Shuyuan Nan , Chuang Li , Dawn Song , Kenji Kawaguchi

Program synthesis--the automated generation of executable code from high-level specifications--has been a central goal of computer science for over fifty years. This thesis provides a comparative literature review of the main paradigms that…

Programming Languages · Computer Science 2025-08-04 Zurabi Kobaladze , Anna Arnania , Tamar Sanikidze

The use of language models for automatically evaluating long-form text (LLM-as-a-judge) is becoming increasingly common, yet most LLM judges are optimized exclusively for English, with strategies for enhancing their multilingual evaluation…

Computation and Language · Computer Science 2025-10-31 José Pombal , Dongkeun Yoon , Patrick Fernandes , Ian Wu , Seungone Kim , Ricardo Rei , Graham Neubig , André F. T. Martins

Heuristic algorithms are able to optimize objective functions efficiently because they use intelligently the information about the objective functions. Thus, information utilization is critical to the performance of heuristics. However, the…

Neural and Evolutionary Computing · Computer Science 2016-09-16 Junzhi Li , Ying Tan

In safety-critical deep learning applications, robustness measures the ability of neural models that handle imperceptible perturbations in input data, which may lead to potential safety hazards. Existing pre-deployment robustness assessment…

Machine Learning · Computer Science 2025-08-27 Wenchuan Mu , Kwan Hui Lim

Research and development on conversational recommender systems (CRSs) critically depends on sound and reliable evaluation methodologies. However, the interactive nature of these systems poses significant challenges for automatic evaluation.…

Information Retrieval · Computer Science 2025-10-08 Nolwenn Bernard , Krisztian Balog

This manifesto has been written as a practical tool and aid for anyone carrying out, managing or influencing mathematical work. It provides insight into how to undertake and develop mathematically-powered products and services in a safe and…

History and Overview · Mathematics 2025-10-17 Maurice Chiodo , Dennis Müller

Increasing number of cyber-attacks demotivate people to use Information and Communication Technology (ICT) for industrial as well as day to day work. A main reason for the increasing number of cyber-attacks is mistakes that programmers make…

Cryptography and Security · Computer Science 2018-10-12 Chamila Wijayarathna , Nalin Asanka Gamagedara Arachchilage

Many automatic evaluation metrics have been proposed to score the overall quality of a response in open-domain dialogue. Generally, the overall quality is comprised of various aspects, such as relevancy, specificity, and empathy, and the…

Computation and Language · Computer Science 2020-11-03 Vitou Phy , Yang Zhao , Akiko Aizawa

Complex engineering problems can be modelled as optimisation problems. For instance, optimising engines, materials, components, structure, aerodynamics, navigation, control, logistics, and planning is essential in aerospace. Metaheuristics…

Neural and Evolutionary Computing · Computer Science 2024-11-06 Carlos Alberto da Silva Junior , Marconi de Arruda Pereira , Angelo Passaro

Individual's semantics have been used for guiding the learning process of Genetic Programming solving supervised learning problems. The semantics has been used to proposed novel genetic operators as well as different ways of performing…

Machine Learning · Computer Science 2021-04-06 Claudia N. Sánchez , Mario Graff

Recommender systems are software tools used to generate and provide suggestions for items and other entities to the users by exploiting various strategies. Hybrid recommender systems combine two or more recommendation strategies in…

Information Retrieval · Computer Science 2019-01-15 Erion Çano , Maurizio Morisio

The easiness, speed, accuracy, security are the four main indicators of information quality that may be of concern to people for accessing information in a public institution dashboard system. To find out whether the data displayed on the…

Human-Computer Interaction · Computer Science 2021-04-14 Aang Subiyakto , Rohadatul Aisy , Bernadus Gunawan Sudarsono , Manorang Sihotang , Didik Setiyadi , Asrul Sani

It is known that user-centered approaches to requirements engineering in general lead to a better suited product for the end-users. LLM4RE provides promising approaches to support the requirements elicitation process (e.g. classification of…

Software Engineering · Computer Science 2026-05-14 Cedric Wellhausen , Laura Reinhardt , Kurt Schneider

Although text style transfer has witnessed rapid development in recent years, there is as yet no established standard for evaluation, which is performed using several automatic metrics, lacking the possibility of always resorting to human…

Computation and Language · Computer Science 2022-04-18 Huiyuan Lai , Jiali Mao , Antonio Toral , Malvina Nissim

Heuristic algorithms play a vital role in solving combinatorial optimization (CO) problems, yet traditional designs depend heavily on manual expertise and struggle to generalize across diverse instances. We introduce \textbf{HeurAgenix}, a…

Artificial Intelligence · Computer Science 2025-06-25 Xianliang Yang , Ling Zhang , Haolong Qian , Lei Song , Jiang Bian

This review examines over 150 new metaheuristics of the last six years (between 2019 and 2024), underscoring their profound influence and performance. Over the past three decades, more than 500 new metaheuristic algorithms have been…

Neural and Evolutionary Computing · Computer Science 2025-01-28 Tansel Dokeroglu , Deniz Canturk , Tayfun Kucukyilmaz

An AI design framework was developed based on three core principles, namely understandability, trust, and usability. The framework was conceptualized by synthesizing evidence from the literature and by consulting with experts. The initial…

Human-Computer Interaction · Computer Science 2025-08-12 Mohammad Golam Kibria , Lauren Kucirka , Javed Mostafa

The effectiveness of recommendation systems is pivotal to user engagement and satisfaction in online platforms. As these recommendation systems increasingly influence user choices, their evaluation transcends mere technical performance and…

Information Retrieval · Computer Science 2024-01-15 Aryan Jadon , Avinash Patil