From the 1 of 10 linked papers with an AI index.
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models
Andre He, Nathaniel Weir, Kaj Bostrom +4
Reinforcement learning with verifiable rewards (RLVR) has emerged as a promising approach for training reasoning language models (RLMs) by leveraging supervision from verifiers. Al…
cs.AI2025
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
Yu Feng, Nathaniel Weir, Kaj Bostrom +5
LLMs can perform multi-step reasoning through Chain-of-Thought (CoT), but they cannot reliably verify their own logic. Even when they reach correct answers, the underlying reasonin…
cs.AI2024
SELF-[IN]CORRECT: LLMs Struggle with Discriminating Self-Generated Responses
Dongwei Jiang, Jingyu Zhang, Orion Weller +3
Can LLMs consistently improve their previous outputs for better results? For this to be true, LLMs would need to be better at discriminating among previously-generated alternatives…