15 citations · 16 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
Type-Safe Is Not Error-Free: Typed Decision Models Follow the Option Name, Not the Definition Bound to It
Yu Sun, Junhao Xu, Jiajia Shi +1
Typed decision models return structured results, but output-type correctness alone does not ensure that decisions follow explicit option definitions. Each option pairs a name with…
cs.LG2026★ 1 cited
Learning to Discover at Test Time
Mert Yuksekgonul, Daniel Koceja, Xinhao Li +8
How can we use AI to discover a new state of the art for a scientific problem? Prior work in test-time scaling, such as AlphaEvolve, performs search by prompting a frozen LLM. We p…