Expected Work Search: Combining Win Rate and Proof Size Estimation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Randall, Owen, Müller, Martin, Wei, Ting Han, Hayward, Ryan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bayesian Calibration of Win Rate Estimation with LLM Evaluators
von: Gao, Yicheng, et al.
Veröffentlicht: (2024)

Monte Carlo Tree Search in the Presence of Transition Uncertainty
von: Kohankhaki, Farnaz, et al.
Veröffentlicht: (2023)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
von: Weatherall, James Owen, et al.
Veröffentlicht: (2026)

Beyond Winning: Margin of Victory Relative to Expectation Unlocks Accurate Skill Ratings
von: Shorewala, Shivam, et al.
Veröffentlicht: (2025)

Expected Runtime Comparisons Between Breadth-First Search and Constant-Depth Restarting Random Walks
von: Platnick, Daniel, et al.
Veröffentlicht: (2024)

Generalized Proof-Number Monte-Carlo Tree Search
von: Kowalski, Jakub, et al.
Veröffentlicht: (2025)

Proof Number Based Monte-Carlo Tree Search
von: Kowalski, Jakub, et al.
Veröffentlicht: (2023)

ALLoRA: Adaptive Learning Rate Mitigates LoRA Fatal Flaws
von: Huang, Hai, et al.
Veröffentlicht: (2024)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
von: Ünsal, Mert, et al.
Veröffentlicht: (2024)

EasySize: Elastic Analog Circuit Sizing via LLM-Guided Heuristic Search
von: Wu, Xinyue, et al.
Veröffentlicht: (2025)

PoGO: A Scalable Proof of Useful Work via Quantized Gradient Descent and Merkle Proofs
von: Orlicki, José I.
Veröffentlicht: (2025)

Expected Possession Value of Control and Duel Actions for Soccer Player's Skills Estimation
von: Shelopugin, Andrei
Veröffentlicht: (2024)

Find A Winning Sign: Sign Is All We Need to Win the Lottery
von: Oh, Junghun, et al.
Veröffentlicht: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Massively Parallel Proof-Number Search for Impartial Games and Beyond
von: Čížek, Tomáš, et al.
Veröffentlicht: (2025)

Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex Coloring
von: Grelier, Cyril, et al.
Veröffentlicht: (2023)

Expected Attention: KV Cache Compression by Estimating Attention from Future Queries Distribution
von: Devoto, Alessio, et al.
Veröffentlicht: (2025)

Cheating Automatic LLM Benchmarks: Null Models Achieve High Win Rates
von: Zheng, Xiaosen, et al.
Veröffentlicht: (2024)

Substituting Proof of Work in Blockchain with Training-Verified Collaborative Model Computation
von: Rafid, Mohammad Ishzaz Asif, et al.
Veröffentlicht: (2025)

On the Rate of Convergence of Kolmogorov-Arnold Network Regression Estimators
von: Liu, Wei, et al.
Veröffentlicht: (2025)

Winning Snake: Design Choices in Multi-Shot ASP
von: Böhl, Elisa, et al.
Veröffentlicht: (2024)

Mini-Giants: "Small" Language Models and Open Source Win-Win
von: Zhou, Zhengping, et al.
Veröffentlicht: (2023)

MC-Search: Evaluating and Enhancing Multimodal Agentic Search with Structured Long Reasoning Chains
von: Ning, Xuying, et al.
Veröffentlicht: (2026)

A Proof of Learning Rate Transfer under $μ$P
von: Hayou, Soufiane
Veröffentlicht: (2025)

Expected Utility Networks
von: La Mura, Pierfrancesco, et al.
Veröffentlicht: (2013)

Reframing the Expected Free Energy: Four Formulations and a Unification
von: Champion, Théophile, et al.
Veröffentlicht: (2024)

A Message Passing Realization of Expected Free Energy Minimization
von: Nuijten, Wouter W. L., et al.
Veröffentlicht: (2025)

Majority Rules: LLM Ensemble is a Winning Approach for Content Categorization
von: Kamen, Ariel, et al.
Veröffentlicht: (2025)

ReLU$^2$ Wins: Discovering Efficient Activation Functions for Sparse LLMs
von: Zhang, Zhengyan, et al.
Veröffentlicht: (2024)

Winning the Lottery by Preserving Network Training Dynamics with Concrete Ticket Search
von: Arora, Tanay, et al.
Veröffentlicht: (2025)

MathConstruct: Challenging LLM Reasoning with Constructive Proofs
von: Balunović, Mislav, et al.
Veröffentlicht: (2025)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
von: Ji, Shihao, et al.
Veröffentlicht: (2026)

Examining Attacks on Consensus and Incentive Systems in Proof-of-Work Blockchains: A Systematic Literature Review
von: Wijewardhana, Dinitha, et al.
Veröffentlicht: (2024)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
von: Li, Zenan, et al.
Veröffentlicht: (2026)

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
von: Kripner, Matěj, et al.
Veröffentlicht: (2025)

When Smaller Wins: Dual-Stage Distillation and Pareto-Guided Compression of Liquid Neural Networks for Edge Battery Prognostics
von: Kannan, Dhivya Dharshini, et al.
Veröffentlicht: (2026)

Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline
von: Huang, Yichen, et al.
Veröffentlicht: (2025)

Ranking Policy Learning via Marketplace Expected Value Estimation From Observational Data
von: Ebrahimzadeh, Ehsan, et al.
Veröffentlicht: (2024)

Messenger RNA Design via Expected Partition Function and Continuous Optimization
von: Dai, Ning, et al.
Veröffentlicht: (2023)

Design a Win-Win Strategy That Is Fair to Both Service Providers and Tasks When Rejection Is Not an Option
von: Trabelsi, Yohai, et al.
Veröffentlicht: (2024)