mAceReason-Math: A Dataset of High-Quality Multilingual Math Problems Ready For RLVR
带可验证奖励的强化学习 (RLVR) 已成功应用于显着提升预训练大型语言模型的能力，特别是在数学和逻辑问题领域。然而，当前的研究和可用的训练数据集仍然以英语为中心。虽然过去已经创建了多语言训练数据和基准，但它们在创建时并未考虑到 RLVR 和当前模型的功能，而且它们的难度通常太低，无法为当前模型提供适当的训练信号。为了解决这一差距，我们提供了 mAceReason-Math，...
Multilingual Reasoning Gym: Multilingual Scaling of Procedural Reasoning Environments
我们提出了多语言推理 Gym，它是 Reasoning Gym（Stojanovski 等人，2025）的扩展，它可以在程序上生成跨 14 种语言的可验证推理问题。我们翻译 94 项任务的模板，并以 10 种语言进行母语验证，并进行有针对性的代码或模板调整，以确保语言的自然性。多语言推理 Gym 保留了原始 Reasoning Gym 中使用的程序生成方法的核心优势，例如几乎无限的问题实例生成和可调整的难度，并且仍然可直接用于强化......
Maryland can improve upon its proposal for a mileage-based user fee program
马里兰州交通资金严重短缺，基于里程的用户收费是一种潜在的解决方案。《马里兰州可以改进基于里程的用户收费计划》的帖子首先出现在 Reason Foundation 上。
Isata Kanneh-Mason returns to Athens for solo recital
3 月 19 日的音乐会将展出贝多芬、拉威尔和塔巴科娃的作品。Isata Kanneh-Mason 返回雅典举行独奏音乐会的消息首先出现在 UGA Today 上。
Beloved Casowasco Camp Shaped Generations — Then Quietly Made This Decision
一个备受喜爱的夏令营仅在 9 年前就迎来了 1,100 多名儿童，到 2024 年仅招收了 158 名营员 - 现在，卡索瓦斯科营地和静修中心 (Casowasco Camp & Retreat Centre) 将在运营超过 75 年之后永久关闭。联合卫理公会宣布关闭纽约西皮奥历史悠久的湖畔设施，此前 [...]
Flying Qatar Airways Economy Class (Part 2: Doha to Singapore, Airbus 350-1000)
欢迎阅读我的 2025 年最终旅行报告！我的旅程：A7-ANA（摄影：Jason Xu） 有关我之前卡塔尔航空空客 A350-900 经济舱体验的旅行报告，请点击此处。向所有捍卫中东这场不必要的战争中遭受苦难的国家和受害者的英雄致敬。简介 这趟 QR948 航班原本计划由 A350-900 执飞，幸运的是，就在出发前几个月，我收到了 Flighty 和航空公司本身关于飞机变更的通知，我很高兴，因为空客 A350 的航班 90% 都是用 -900 系列执飞的，只有国泰航空和维珍航空执飞 -1000 两次，所以再次执飞 -1000 真是太棒了。 -900和-1000之间的主要区别是后者的容量更大，
Michigan’s “Kids Over Clicks” bills would replace parental oversight with government rules
“儿童过度点击”一揽子计划将创建一个庞大的监管控制网络，从而降低整体用户在线体验。密歇根州的“儿童过度点击”法案将用政府规则取代家长监督，该法案首先出现在 Reason Foundation 上。
AMLC Soldier completes Advanced Leader Course
犹他州希尔空军基地 – 中士。 Jason Paglia 是美国陆军医疗后勤司令部的生物医学设备专家，最近从 A...
条目被拒绝 您无权在此服务器上条目“http://www.tinker.af.mil/News/Article-Show/Article/4432812/prepare-for-the-unknown-as-severe-weather-season-arrives/”。参考#18.a424c317.1773365771.73c36d3b https://errors.edgesuite.internet/18.a424c317.1773365771.73c36d3b入境被拒绝的帖子首先出现在特种部队新闻上。
Alabama’s unrealistic pension assumptions are putting the state in debt
政策制定者需要实施持久的改革，解决该州日益严重的养老金短缺的根源。后阿拉巴马州不切实际的养老金假设正在使该州陷入债务，这一消息首先出现在 Reason Foundation 上。
California doesn’t need new age restrictions on social media
加州不应通过严厉的立法，而应授权父母使用可用的工具来保证孩子的上网安全。加州不需要社交媒体上新的年龄限制的帖子首先出现在 Reason Foundation 上。
Ziz Lasota and Tech’s Rationalist Rise
为什么重要：Ziz Lasota 和 Tech 的《理性主义崛起》探讨了理性主义思想如何重塑硅谷的未来。
Why restricting institutional investors won’t fix housing affordability
住房负担能力问题的主要原因是地方政府对住房供应的限制。《为什么限制机构投资者并不能解决住房负担能力》一文首先出现在 Reason Foundation 上。
Senate Bill 6129 would undermine tobacco harm reduction in Washington
参议院第 6129 号法案将有效破坏鼓励华盛顿吸烟者转向更安全的尼古丁替代品的经济激励措施。参议院第 6129 号法案将破坏华盛顿州减少烟草危害，该法案首先出现在 Reason Foundation 上。
一场恶作剧导致高中教师贾森·休斯 (Jason Hughes) 被一辆皮卡车撞死。一名 18 岁司机面临一级车辆杀人指控，另外四名青少年则被指控犯有轻罪。休斯的家人认识这些学生，敦促当局撤销指控，强调他们希望防止更多悲剧发生。
该法案将制造一种错误的安全感和轻松感，同时给所有美国人带来真正的隐私、安全和第一修正案关注。《应用商店责任法案》牺牲隐私和言论自由，给家长一种错误的安全感的帖子首先出现在 Reason Foundation 上。
Oklahoma House Bill 3313 advances retirement goals of government employees
该法案将显着改善俄克拉荷马州公职人员的退休保障，并使该计划达到最低行业标准。俄克拉荷马州众议院法案 3313 推进政府雇员的退休目标首先出现在 Reason Foundation 上。
Washington House Bill 2034 redirects pension funds for non-pension spending
将数十亿剩余警察养老金资产重新定向到非养老金项目违背了这些基金的目的。 《华盛顿众议院法案 2034》将养老基金重新用于非养老金支出，该法案首先出现在 Reason Foundation 上。
