most citedSeed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2024

AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints

Yu-Zhe Shi, Haofei Hou, Zhangqian Bi +4

Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of constraints. Unfortunately, Domain-spe…