FIELD NOTES TOPIC
paper
3 notes, newest first.
Agon: Competitive Cross-Model RL with Implicit Rival Grading of Reasoning
The paper introduces Agon, a new reinforcement learning approach that trains two reasoning models by having them compete against each other. This competitive grading system aims to improve the quality of thinking…
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
Theoria is a verification architecture proposed by Ben Slivinski and Michael Saldivar that aims to close the gap between formal proof assistants and scalar LLM judges in determining when an AI system's answer can be…
UNKNOWN
The provided text does not contain any information for a summary.
