← Search

Kazem Meidani

6 accepted papers

2026

DecAEvolve: Decompose, Adapt, and Evolve, or, Three Pillars of Effective LLM-based Scientific Equation Discovery

ICML 2026poster

Finding mathematical relations underlying natural phenomena is a fundamental task in scientific discovery. Recent advances in evolutionary search with Large Language Models (LLMs) show great promise by leveraging their embedded scientific knowledge. However, discovering governing equations remains c…

Cited by 0SourceScholar
2026

Towards Diverse Scientific Hypothesis Search with Large Language Models

ICML 2026poster

Large language models are increasingly used to accelerate scientific discovery, especially in iteratively searching scientific hypotheses. Yet in many discovery settings the goal is not to identify a single ``best'' hypothesis: validation is noisy and expensive, multiple hypotheses can remain plausi…

Cited by 0SourceScholar
2025

LLM-SR: Scientific Equation Discovery via Programming with Large Language Models

ICLR 2025oral

Mathematical equations have been unreasonably effective in describing complex natural phenomena across various scientific disciplines. However, discovering such insightful equations from data presents significant challenges due to the necessity of navigating extremely large combinatorial hypothesis…

2025

LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models

ICML 2025oral

Scientific equation discovery is a fundamental task in the history of scientific progress, enabling the derivation of laws governing natural phenomena. Recently, Large Language Models (LLMs) have gained interest for this task due to their potential to leverage embedded scientific knowledge for hypot…

Cited by 2SourcePDFScholar
2024

SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training

ICLR 2024spotlight

In an era where symbolic mathematical equations are indispensable for modeling complex natural phenomena, scientific inquiry often involves collecting observations and translating them into mathematical expressions. Recently, deep learning has emerged as a powerful tool for extracting insights from…

Cited by 27SourcePDFScholar
2023

Transformer-based Planning for Symbolic Regression

NeurIPS 2023poster

Symbolic regression (SR) is a challenging task in machine learning that involves finding a mathematical expression for a function based on its values. Recent advancements in SR have demonstrated the effectiveness of pre-trained transformer models in generating equations as sequences, leveraging larg…