Learning Strategies to Break Judges

arXiv:2609.33773 · cs.AI · Submitted 2026-09-27 · Read on arXiv

cs.AI

Submitted: 2026-09-27

Updated: 2026-09-27

Code: https://github.com/sanathdevalapurkar/algtop-notes5https:

Terminology

• Verification — 21× in this paper · explained in 2 episodes
• Distillation — 20× in this paper · explained in 2 episodes
• Trace — 13× in this paper · explained in 2 episodes
• Benchmark — 7× in this paper · explained in 2 episodes
• Failure Modes — 7× in this paper · explained in 3 episodes
• LLM-as-a-Judge — 6× in this paper · explained in 3 episodes
• Verifier — 6× in this paper · explained in 2 episodes
• Accuracy — 5× in this paper · explained in 1 episode
• Consistency — 5× in this paper · explained in 3 episodes
• Provenance — 5× in this paper · explained in 4 episodes
• Reinforcement Learning — 5× in this paper · explained in 4 episodes
• Clustering — 4× in this paper · explained in 2 episodes
• Generative AI — 2× in this paper · explained in 2 episodes
• Robustness — 2× in this paper · explained in 5 episodes
• AI Agents — 1× in this paper · explained in 2 episodes
• Ablation — 1× in this paper · explained in 1 episode
• Adaptation — 1× in this paper · explained in 1 episode
• Adversarial Robustness — 1× in this paper · explained in 3 episodes
• Adversarial Training — 1× in this paper · explained in 1 episode
• Commentary — 1× in this paper · explained in 2 episodes
• Error Taxonomy — 1× in this paper · explained in 2 episodes
• Fine-Tuning — 1× in this paper · explained in 5 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• Grounding — 1× in this paper · explained in 3 episodes
• LLM judge — 1× in this paper · explained in 2 episodes
• Modularity — 1× in this paper · explained in 9 episodes
• Positional Bias — 1× in this paper · explained in 2 episodes
• Self-consistency — 1× in this paper · explained in 2 episodes

Sources

• GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
• Torus knots, the A-polynomial, and SL(2,C)
• Pseudo-Formalization for Automatic Proof Verification
• Rigidity of operator systems: tight extensions and noncommutative measurable structures
• The geometry of zonotopal algebras II: Orlik--Terao algebras and Schubert varieties
• Non-uniform higher-rank lattices are character rigid
• Q-points, selective ultrafilters, and idempotents, with an application to choiceless set theory
• Two-sided homological properties of special and one-relator monoids
• A Survey on LLM-as-a-Judge
• Poincar'e polynomials of moduli spaces of one-dimensional sheaves on the projective plane
• OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems
• Three-cuts are a charm: acyclicity in 3-connected cubic graphs
• Prover-Verifier Games improve legibility of LLM outputs
• No Free Labels: Limitations of LLM-as-a-Judge Without Human Grounding
• Random quotients of mapping class groups are quasi-isometrically rigid
• Do We Need Frontier Models to Verify Mathematical Proofs?
• On the existence of optimizers for nonlinear time-frequency concentration problems: the Born--Jordan distribution
• Evaluating Research-Level Math Proofs via Strict Step-Level Verification
• Time to REFLECT: Can We Trust LLM Judges for Evidence-based Research Agents?
• J1: Incentivizing Thinking in LLM-as-a-Judge via Reinforcement Learning

Related papers

• MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
• Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
• The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
• MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
• Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
• VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection