paper-with-me

홈 › Papers

BoxingGym: Benchmarking Progress in Automated Experimental Design and Model Discovery

2025-01-02 · Kanishk Gandhi, Michael Y. Li, Lyle Goodyear, Louise Li, Aditi Bhaskar, Mohammed Zaman, Noah D. Goodman

Understanding the world and explaining it with scientific theories is a central aspiration of artificial intelligence research. Proposing theories, designing experiments to test them, and then revising them based on data are fundamental to scientific discovery. Despite the significant promise of LLM-based scientific agents, no benchmarks systematically test LLM's ability to propose scientific models, collect experimental data, and revise them in light of new data. We introduce BoxingGym, a benchmark with 10 environments for systematically evaluating both experimental design (e.g. collecting data to test a scientific theory) and model discovery (e.g. proposing and revising scientific theories). To enable tractable and quantitative evaluation, we implement each environment as a generative probabilistic model with which a scientific agent can run interactive experiments. These probabilistic models are drawn from various real-world scientific domains ranging from psychology to ecology. To quantitatively evaluate a scientific agent's ability to collect informative experimental data, we compute the expected information gain (EIG), an information-theoretic quantity which measures how much an experiment reduces uncertainty about the parameters of a generative model. A good scientific theory is a concise and predictive explanation. Therefore, to quantitatively evaluate model discovery, we ask a scientific agent to explain their model and then assess whether this explanation enables another scientific agent to make reliable predictions about this environment. In addition to this explanation-based evaluation, we compute standard model evaluation metrics such as prediction errors. We find that current LLMs, such as GPT-4o, struggle with both experimental design and model discovery. We find that augmenting the LLM-based agent with an explicit statistical model does not reliably improve these results.

📄 PDF Abstract BibTeX arXiv:2501.01540

Code (1)

kanishkg/boxing-gym 공식 구현

Tasks

BenchmarkingExperimental DesignModel Discoveryscientific discovery

Similar Papers 제목 키워드 기반

The Protein Engineering Tournament: An Open Science Benchmark for Protein Modeling and Design

2023-09-18 · Chase Armer, Hassan Kane, Dana Cortade, Dave Estell 외

The grand challenge of protein engineering is the development of computational models that can characterize and generate protein sequences for any arbitrary function. However, progress today is limited by lack of 1) benc…

Benchmarking

From Performance to Understanding: A Vision for Explainable Automated Algorithm Design

2025-11-20 · Niki van Stein, Anna V. Kononova, Thomas Bäck arxiv

Automated algorithm design is entering a new phase: Large Language Models can now generate full optimisation (meta)heuristics, explore vast design spaces and adapt through iterative feedback. Yet this rapid progress is l…

Benchmarking that Matters: Rethinking Benchmarking for Practical Impact

2025-11-15 · Anna V. Kononova, Niki van Stein, Olaf Mersmann, Thomas Bäck 외 arxiv

Benchmarking has driven scientific progress in Evolutionary Computation, yet current practices fall short of real-world needs. Widely used synthetic suites such as BBOB and CEC isolate algorithmic phenomena but poorly re…

RepoLaunch: Automating Build and Management of Code Repositories across Languages and Platforms

2026-03-05 · Kenan Li, Rongzhi Li, Linghao Zhang, Qirui Jin 외 arxiv

Language model (LM) agents have driven substantial progress in automated software engineering (SWE), yet building and testing software repositories at scale remains a largely manual and labor-intensive bottleneck. In thi…

BenchBench: Benchmarking Automated Benchmark Generation

2026-03-21 · Yandan Zheng, Haoran Luo, Zhenghong Lin, Wenjin Liu 외 arxiv

Benchmarks are the de facto standard for tracking progress in large language models (LLMs), yet static test sets can rapidly saturate, become vulnerable to contamination, and are costly to refresh. Scalable evaluation of…