BWhat changed
Combines language models with evaluators to improve cap-set constructions and bin-packing heuristics.
Scientific scope
Combines language models with evaluators to improve cap-set constructions and bin-packing heuristics. Scope limitation: Constructive lower bounds, heuristic performance and proofs of optimality are distinct results.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. Constructive lower bounds, heuristic performance and proofs of optimality are distinct results.
Contributors
- The research collaboration listed in the linked record and source byline · SCIENCE: Collective scoped contribution. The complete recorded byline remains in the research record; this label does not collapse people into one individual.
- The systems documented in the research record · EXECUTION: Source-reported system assistance within this scope; no provider attestation or independent agency is inferred.
- Romera-Paredes et al., Mathematical discoveries from program search with large language models (2023)
- Publisher-deposited byline: Mathematical discoveries from program search with large language models
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction