English
Related papers

Related papers: Validated Intent Compilation for Constrained Routi…

200 papers

With the advent of AI-based coding engines, it is possible to convert natural language requirements to executable code in standard programming languages. However, AI-generated code can be unreliable, and the natural language requirements…

Software Engineering · Computer Science 2024-11-06 Martin Mirchev , Andreea Costea , Abhishek Kr Singh , Abhik Roychoudhury

Large Language Models (LLMs) have significantly advanced code analysis tasks, yet they struggle to detect malicious behaviors fragmented across files, whose intricate dependencies easily get lost in the vast amount of benign code. We…

Software Engineering · Computer Science 2026-01-23 Hang Gao , Tao Peng , Baoquan Cui , Hong Huang , Fengge Wu , Junsuo Zhao , Jian Zhang

The proliferation of large language models (LLMs) has led to the adoption of Mixture-of-Experts (MoE) architectures that dynamically leverage specialized subnetworks for improved efficiency and performance. Despite their benefits, MoE…

Computation and Language · Computer Science 2024-10-28 Ruisi Cai , Yeonju Ro , Geon-Woo Kim , Peihao Wang , Babak Ehteshami Bejnordi , Aditya Akella , Zhangyang Wang

Earth Observation (EO) has traditionally involved the transmission of a large volume of raw data to map the Earth surface. This results in congestion to the satellite network and delays in the availability of the results, invalidating the…

Networking and Internet Architecture · Computer Science 2024-10-11 Antonio M. Mercado-Martínez , Beatriz Soret , Antonio Jurado-Navas

Graph combinatorial optimization (GCO) problems are central to domains like logistics and bioinformatics. While traditional solvers dominate, large language models (LLMs) offer new possibilities for structured reasoning, yet struggle with…

Machine Learning · Computer Science 2025-06-13 Zixiao Huang , Lifeng Guo , Wenhao Li , Junjie Sheng , Chuyun Shen , Haosheng Chen , Bo Jin , Changhong Lu , Xiangfeng Wang

Mega-constellations of small-size Low Earth Orbit (LEO) satellites are currently planned and deployed by various private and public entities. While global connectivity is the main rationale, these constellations also offer the potential to…

Signal Processing · Electrical Eng. & Systems 2021-11-29 Nasrin Razmi , Bho Matthiesen , Armin Dekorsy , Petar Popovski

Low Earth orbit (LEO) satellite constellations are emerging as a key enabler of next-generation communications, offering global coverage and significantly lower latency compared to traditional terrestrial networks and geostationary…

Signal Processing · Electrical Eng. & Systems 2025-07-01 Mohammad Taghi Dabiri , Mazen Hasna , Saud Althunibat , Khalid Qaraqe

Large vision-language models (LVLMs) often hallucinate content that is fluent yet unsupported by the image, limiting their reliability in real-world deployment. We show that a key failure mode arises from route competition: even when visual…

Computer Vision and Pattern Recognition · Computer Science 2026-05-26 Zhe Cheng , Wenyu Chen , Fode Zhang , Dehuan Shen

Traditional Global Navigation Satellite System (GNSS) immunity to interference may be approaching a practical performance ceiling. Greater gains are possible outside traditional GNSS orbits and spectrum. GNSS from low Earth orbit (LEO) has…

Signal Processing · Electrical Eng. & Systems 2022-03-15 Peter A. Iannucci , Todd E. Humphreys

Large language models (LLMs) are increasingly used as generators in iterative neural architecture search (NAS), yet no formal convergence theory exists for this class of algorithms. We model iterative LLM-NAS as a parametric Cross-Entropy…

Machine Learning · Computer Science 2026-05-29 Santosh Premi Adhikari , Radu Timofte , Dmitry Ignatov

LLMs used for code generation are typically guided by engineering constraints--technology choices, dependency restrictions, and architectural patterns--expressed in verbose natural language. We investigate whether compact, structured…

Software Engineering · Computer Science 2026-04-23 Hanzhang Tang

Large Vision-Language Models (LVLMs) have exhibited strong reasoning capabilities through chain-of-thought mechanisms that generate step-by-step rationales. However, such slow-thinking approaches often lead to overthinking, where models…

Computer Vision and Pattern Recognition · Computer Science 2026-04-16 Xingjian Diao , Zheyuan Liu , Chunhui Zhang , Weiyi Wu , Keyi Kong , Lin Shi , Kaize Ding , Soroush Vosoughi , Jiang Gui

This Study proposes a routing strategy of combining a packet scheduling with congestion control policy that applied for LEO satellite network with high speed and multiple traffic. It not only ensures the QoS of different traffic, but also…

Networking and Internet Architecture · Computer Science 2016-04-27 Saeid Aghaei Nezhad Firouzja , Muhammad Yousefnezhad , Masoud Samadi , Mohd Fauzi Othman

Multi-agent LLM systems for code generation face a fundamental routing problem: the optimal orchestration topology depends on the structural complexity of the code under modification, yet existing systems select topologies without…

Artificial Intelligence · Computer Science 2026-05-08 Abhijit Talluri , Pujith Anne , Bhagavan Choudary Pendiyala , Raghavendra Chilukuri

Mixture-of-Experts (MoE) architectures have emerged as a key strategy for scaling large language models (LLMs) efficiently. However, current MoE systems suffer from severe load imbalance, where only a small subset of experts is consistently…

Machine Learning · Computer Science 2025-06-27 Jiajie Yang

We show for invertible problems that transform data from a source domain (for example, Logic Condition Tables (LCTs)) to a destination domain (for example, Hardware Description Language (HDL) code), an approach of using Large Language…

Using Large Language Models (LLMs) to process graph-structured data is an active research area, yet current state-of-the-art approaches typically rely on multi-step pipelines with Graph Neural Network (GNN) encoders that compress rich…

Machine Learning · Computer Science 2026-05-12 Dario Vajda

Large language models (LLMs) show promise in code translation due to their ability to generate idiomatic code. However, a significant limitation when using LLMs for code translation is scalability: existing works have shown a drop in…

Programming Languages · Computer Science 2024-12-12 Hanliang Zhang , Cristina David , Meng Wang , Brandon Paulsen , Daniel Kroening

In our research, we introduce a new concept called "LLM Augmented Pentesting" demonstrated with a tool named "Pentest Copilot," that revolutionizes the field of ethical hacking by integrating Large Language Models (LLMs) into penetration…

Cryptography and Security · Computer Science 2025-05-20 Dhruva Goyal , Sitaraman Subramanian , Aditya Peela , Nisha P. Shetty

Traditionally, communication, navigation, and remote sensing (CNR) satellites are separately performed, leading to resource waste, information isolation, and independent optimization for each functionality. Taking future automated driving…

Information Theory · Computer Science 2024-09-23 Min Sheng , Chongtao Guo , Lei Huang
‹ Prev 1 4 5 6 7 8 10 Next ›