3 papers
cs.AI2025
Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
Christopher D. Rosin
Large Language Models (LLMs) with reasoning are trained to iteratively generate and refine their answers before finalizing them, which can help with applications to mathematics and…
cs.CL2025
EvidenceBench: A Benchmark for Extracting Evidence from Biomedical Papers
Jianyou Wang, Weili Cao, Kaicheng Wang +13
We study the task of automatically finding evidence relevant to hypotheses in biomedical papers. Finding relevant evidence is an important step when researchers investigate scienti…
cs.AI2025
Using Code Generation to Solve Open Instances of Combinatorial Design Problems
Christopher D. Rosin
The Handbook of Combinatorial Designs catalogs many types of combinatorial designs, together with lists of open instances for which existence has not yet been determined. We develo…