Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Kilian Lieret

dblp:276/7672 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
6since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 6 · 6 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
5 papers
Program synthesis and code generation · 52% Empirical software engineering · 14% Software testing · 14%
Network and information security
1 paper
Systems and software security · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
High-performance computing · 100%
Interdisciplinary, comprehensive, and emerging computing
1 paper
Computing education · 100%
Artificial intelligence
2 papers
Vision and language · 54% Language models and text generation · 46%

Topics — the 12 heaviest of 16, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program synthesis and code generation
code generation with language models
1.722025
SWE-smith: Scaling Data for Software Engineering Agents · NeurIPS 2025
AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs? · NeurIPS 2025
Systems and software security
exploitation
0.912025
EnIGMA: Interactive Tools Substantially Assist LM Agents in Finding Security Vulnerabilities · ICML 2025
Systems and software security
vulnerability discovery
0.912025
EnIGMA: Interactive Tools Substantially Assist LM Agents in Finding Security Vulnerabilities · ICML 2025
Debugging and program repair
automated program repair
0.912025
SWE-bench Multimodal: Do AI Systems Generalize to Visual Software Domains? · ICLR 2025
Program synthesis and code generation › code generation with language models
software engineering agents
0.912025
SWE-smith: Scaling Data for Software Engineering Agents · NeurIPS 2025
Empirical software engineering › benchmarking
software engineering benchmarks
0.912025
SWE-bench Multimodal: Do AI Systems Generalize to Visual Software Domains? · ICLR 2025
Software testing
test generation
0.912025
SWE-smith: Scaling Data for Software Engineering Agents · NeurIPS 2025
High-performance computing › performance optimization
numerical program optimization
0.912025
AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs? · NeurIPS 2025
High-performance computing
performance optimization
0.912025
AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs? · NeurIPS 2025
Empirical software engineering
mining software repositories
0.312025
SWE-smith: Scaling Data for Software Engineering Agents · NeurIPS 2025
Natural language and speech › Language models and text generation
large language model evaluation
0.212024
SciCode: A Research Coding Benchmark Curated by Scientists · NeurIPS 2024
Software testing › test execution
automated test execution
0.212024
SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering · NeurIPS 2024

Methods — techniques the papers use, named apart from their topics

language model agent · 3.4benchmark construction · 2.3benchmarking · 1.7large language model agents · 0.9large language model agent · 0.9large language model · 0.9interactive terminal tooling · 0.9execution environments · 0.9agent-computer interface · 0.8
YearPublicationVenuePosition
2025 SWE-bench Multimodal: Do AI Systems Generalize to Visual Software Domains?
abstract
Autonomous systems for software engineering are now capable of fixing bugs and developing features. These systems are commonly evaluated on SWE-bench (Jimenez et al., 2024a), which assesses their ability to solve software issues from GitHub repositories. However, SWE-bench uses only Python repositories, with problem statements presented predominantly as text and lacking visual elements such as images. This limited coverage motivates our inquiry into how existing systems might perform on unrepresented software engineering domains (e.g., front-end, game development, DevOps), which use different programming languages and paradigms. Therefore, we propose SWE-bench Multimodal (SWE-bench M), to evaluate systems on their ability to fix bugs in visual, user-facing JavaScript software. SWE-bench M features 617 task instances collected from 17 JavaScript libraries used for web interface design, diagramming, data visualization, syntax highlighting, and interactive mapping. Each SWE-bench M task instance contains at least one image in its problem statement or unit tests. Our analysis finds that top-performing SWE-bench systems struggle with SWE-bench M, revealing limitations in visual problem-solving and cross-language generalization. Lastly, we show that SWE-agent’s flexible language-agnostic features enable it to substantially outperform alternatives on SWE-bench M, resolving 12% of task instances compared to 6% for the next best system.
John Yang 0002, Carlos E. Jimenez, Alex L. Zhang, Kilian Lieret, Joyce Yang, Xindi Wu, Ori Press, Niklas Muennighoff, Gabriel Synnaeve, Karthik Narasimhan, Diyi Yang, Sida I. Wang, Ofir Press
ICLR4
2025 EnIGMA: Interactive Tools Substantially Assist LM Agents in Finding Security Vulnerabilities
abstract
Although language model (LM) agents have demonstrated increased performance in multiple domains, including coding and web-browsing, their success in cybersecurity has been limited. We present *EnIGMA*, an LM agent for autonomously solving Capture The Flag (CTF) challenges. We introduce new tools and interfaces to improve the agent's ability to find and exploit security vulnerabilities, focusing on interactive terminal programs. These novel *Interactive Agent Tools* enable LM agents, for the first time, to run interactive utilities, such as a debugger and a server connection tool, which are essential for solving these challenges. Empirical analysis on 390 CTF challenges across four benchmarks demonstrate that these new tools and interfaces substantially improve our agent's performance, achieving state-of-the-art results on NYU CTF, Intercode-CTF, and CyBench. Finally, we analyze data leakage, developing new methods to quantify it and identifying a new phenomenon we term *soliloquizing*, where the model self-generates hallucinated observations without interacting with the environment.
Talor Abramovich, Meet Udeshi, Minghao Shao, Kilian Lieret, Haoran Xi, Kimberly Milner, Sofija Jancheska, John Yang 0002, Carlos E. Jimenez, Farshad Khorrami, Prashanth Krishnamurthy, Brendan Dolan-Gavitt, Muhammad Shafique 0001, Karthik Narasimhan, Ramesh Karri, Ofir Press
ICML4
2025 AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?
abstract
Despite progress in language model (LM) capabilities, evaluations have thus far focused on models' performance on tasks that humans have previously solved, including in programming (SWE-Bench) and mathematics (FrontierMath). We therefore propose testing models' ability to design and implement algorithms in an open-ended benchmark: We task LMs with writing code that efficiently solves computationally challenging problems in computer science, physics, and mathematics. Our AlgoTune benchmark consists of 120 tasks collected from domain experts and a framework for validating and timing LM-synthesized solution code, which is compared to reference implementations from popular open-source packages.In addition, we develop a baseline LM agent, AlgoTuner, and evaluate its performance across a suite of frontier models.AlgoTuner achieves an average 1.58x speedup against reference solvers, including methods from packages such as SciPy, scikit-learn and CVXPY.However, we find that current models fail to discover algorithmic innovations, instead preferring surface-level optimizations. We hope that AlgoTune catalyzes the development of LM agents exhibiting creative problem solving beyond state-of-the-art human performance.
Ori Press, Brandon Amos, Yikai Wu 0001, Samuel K. Ainsworth, Dominik Krupke, Patrick Kidger, Touqir Sajed, Bartolomeo Stellato, Jisun Park 0003, Nathanael Bosch, Eli Meril, Albert Steppi, Arman Zharmagambetov, Fangzhao Zhang, David Pérez-Piñeiro, Alberto Mercurio, Ni Zhan 0002, Talor Abramovich, Kilian Lieret, Shirley Huang, Matthias Bethge, Ofir Press
NeurIPS20
2025 SWE-smith: Scaling Data for Software Engineering Agents
abstract
Despite recent progress in Language Models (LMs) for software engineering, collecting training data remains a significant pain point.Existing datasets are small, with at most 1,000s of training instances from 11 or fewer GitHub repositories.The procedures to curate such datasets are often complex, necessitating hundreds of hours of human labor; companion execution environments also take up several terabytes of storage, severely limiting their scalability and usability.To address this pain point, we introduce SWE-smith, a novel pipeline for generating software engineering training data at scale.Given any Python codebase, SWE-smith constructs a corresponding execution environment, then automatically synthesizes 100s to 1,000s of task instances that break existing test(s) in the codebase.Using SWE-smith, we create a dataset of 50k instances sourced from 128 GitHub repositories, an order of magnitude larger than all previous works.We train SWE-agent-LM-32B, achieving 40.2% Pass@1 resolve rate on the SWE-bench Verified benchmark, state of the art among open source models.We open source SWE-smith (collection procedure, task instances, trajectories, models) to lower the barrier of entry for research in LM systems for automated software engineering.All assets available at \url{https://swesmith.com}.
John Yang 0002, Kilian Lieret, Carlos E. Jimenez, Alexander Wettig, Kabir Khandpur, Binyuan Hui, Ofir Press, Ludwig Schmidt, Diyi Yang
NeurIPS2
2024 SciCode: A Research Coding Benchmark Curated by Scientists
abstract
Since language models (LMs) now outperform average humans on many challenging tasks, it is becoming increasingly difficult to develop challenging, high-quality, and realistic evaluations. We address this by examining LM capabilities to generate code for solving real scientific research problems. Incorporating input from scientists and AI researchers in 16 diverse natural science sub-fields, including mathematics, physics, chemistry, biology, and materials science, we create a scientist-curated coding benchmark, SciCode. The problems naturally factorize into multiple subproblems, each involving knowledge recall, reasoning, and code synthesis. In total, SciCode contains 338 subproblems decomposed from 80 challenging main problems, and it offers optional descriptions specifying useful scientific background information and scientist-annotated gold-standard solutions and test cases for evaluation. OpenAI o1-preview, the best-performing model among those tested, can solve only 7.7\% of the problems in the most realistic setting. We believe that SciCode demonstrates both contemporary LMs' progress towards realizing helpful scientific assistants and sheds light on the building and evaluation of scientific AI in the future.
Minyang Tian, Luyu Gao, Shizhuo Dylan Zhang, Cunwei Fan, Xuefei Guo, Roland Haas, Pan Ji, Kittithat Krongchon, Shengyan Liu, Yutao Ma, Kha Trinh, Zihan Wang 0010, Bohao Wu, Shengzhu Yin, Minhui Zhu, Kilian Lieret, Yanxin Lu, Genglin Liu, Yufeng Du, Tianhua Tao, Ofir Press, Jamie Callan, Eliu A. Huerta, Hao Peng 0009
NeurIPS21
2024 SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering
abstract
Language model agents are increasingly being used to automate complicated tasks in digital environments. Just as humans benefit from powerful software applications, such as integrated development environments, for complex tasks like software engineering, we posit that language model agents represent a new category of end users with their own needs and abilities, and would benefit from specially built interfaces to the software they use. We investigate how the role of interface design affects the performance of language model agents. As a result of this exploration, we introduce SWE-agent: a system that facilitates language model agents to autonomously use computers to solve software engineering tasks. SWE-agent's custom agent-computer interface significantly enhances an agent's ability to create and edit code files, navigate entire repositories, and execute tests and other programs. We evaluate SWE-agent on SWE-bench and HumanEvalFix, achieving state-of-the-art performance on both with a pass@1 rate of 12.5% and 87.7%, respectively, far exceeding the previous state-of-the-art achieved with non-interactive language models. Finally, we provide insight on how the design of the agent-computer interface can impact agents' behavior and performance.
John Yang 0002, Carlos E. Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao 0006, Karthik Narasimhan, Ofir Press
NeurIPS4