4 citations · 7 across the 5 of their papers we have counts for
5 papers
Transformers for Program Termination
Yoav Alon, Cristina David
Determining whether a program terminates is a core challenge in program analysis with direct implications for correctness, verification, and security. We investigate whether transf…
Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning
Yoav Alon, Cristina David
Large Language Models (LLMs) were shown to struggle with long-term planning, which may be caused by the limited way in which they explore the space of possible solutions. We propos…
Neuroplastic graph attention networks for nuclei segmentation in histopathology images
Yoav Alon, Huiyu Zhou
Modern histopathological image analysis relies on the segmentation of cell structures to derive quantitative metrics required in biomedical research and clinical diagnostics. State…
Synthetic Generation of Three-Dimensional Cancer Cell Models from Histopathological Images
Yoav Alon, Xiang Yu, Huiyu Zhou
Synthetic generation of three-dimensional cell models from histopathological images aims to enhance understanding of cell mutation, and progression of cancer, necessary for clinica…
Multi-Agent Reinforcement Learning for Unmanned Aerial Vehicle Coordination by Multi-Critic Policy Gradient Optimization
Yoav Alon, Huiyu Zhou
Recent technological progress in the development of Unmanned Aerial Vehicles (UAVs) together with decreasing acquisition costs make the application of drone fleets attractive for a…