2 papers
cs.CL2026
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
Guijin Son, Seungone Kim, Catherine Arnett +73
Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the community is searching for the next meaningful and challenging target for measuring LLM…
cs.NE2025
Challenges of Interaction in Optimizing Mixed Categorical-Continuous Variables
Youhei Akimoto, Xilin Gao, Ze Kai Ng +1
Optimization of mixed categorical-continuous variables is prevalent in real-world applications of black-box optimization. Recently, CatCMA has been proposed as a method for optimiz…