:: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Randall, Owen, Müller, Martin, Wei, Ting Han, Hayward, Ryan
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2405.05594
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bayesian Calibration of Win Rate Estimation with LLM Evaluators
by: Gao, Yicheng, et al.
Published: (2024)

Monte Carlo Tree Search in the Presence of Transition Uncertainty
by: Kohankhaki, Farnaz, et al.
Published: (2023)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
by: Weatherall, James Owen, et al.
Published: (2026)

ALLoRA: Adaptive Learning Rate Mitigates LoRA Fatal Flaws
by: Huang, Hai, et al.
Published: (2024)

Beyond Winning: Margin of Victory Relative to Expectation Unlocks Accurate Skill Ratings
by: Shorewala, Shivam, et al.
Published: (2025)

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

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
by: Ünsal, Mert, et al.
Published: (2024)

Generalized Proof-Number Monte-Carlo Tree Search
by: Kowalski, Jakub, et al.
Published: (2025)

Proof Number Based Monte-Carlo Tree Search
by: Kowalski, Jakub, et al.
Published: (2023)

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

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

Expected Possession Value of Control and Duel Actions for Soccer Player's Skills Estimation
by: Shelopugin, Andrei
Published: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
by: Han, Sangjun, et al.
Published: (2025)

Find A Winning Sign: Sign Is All We Need to Win the Lottery
by: Oh, Junghun, et al.
Published: (2025)

EasySize: Elastic Analog Circuit Sizing via LLM-Guided Heuristic Search
by: Wu, Xinyue, et al.
Published: (2025)

Cheating Automatic LLM Benchmarks: Null Models Achieve High Win Rates
by: Zheng, Xiaosen, et al.
Published: (2024)

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

Mini-Giants: "Small" Language Models and Open Source Win-Win
by: Zhou, Zhengping, et al.
Published: (2023)

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

Combining Monte Carlo Tree Search and Heuristic Search for Weighted Vertex Coloring
by: Grelier, Cyril, et al.
Published: (2023)

On the Rate of Convergence of Kolmogorov-Arnold Network Regression Estimators
by: Liu, Wei, et al.
Published: (2025)

Expected Utility Networks
by: La Mura, Pierfrancesco, et al.
Published: (2013)

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

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

A Proof of Learning Rate Transfer under $μ$P
by: Hayou, Soufiane
Published: (2025)

MC-Search: Evaluating and Enhancing Multimodal Agentic Search with Structured Long Reasoning Chains
by: Ning, Xuying, et al.
Published: (2026)

ReLU$^2$ Wins: Discovering Efficient Activation Functions for Sparse LLMs
by: Zhang, Zhengyan, et al.
Published: (2024)

Ranking Policy Learning via Marketplace Expected Value Estimation From Observational Data
by: Ebrahimzadeh, Ehsan, et al.
Published: (2024)

Reframing the Expected Free Energy: Four Formulations and a Unification
by: Champion, Théophile, et al.
Published: (2024)

A Message Passing Realization of Expected Free Energy Minimization
by: Nuijten, Wouter W. L., et al.
Published: (2025)

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

Messenger RNA Design via Expected Partition Function and Continuous Optimization
by: Dai, Ning, et al.
Published: (2023)

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

Majority Rules: LLM Ensemble is a Winning Approach for Content Categorization
by: Kamen, Ariel, et al.
Published: (2025)

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

Winning Amazon KDD Cup'24
by: Deotte, Chris, et al.
Published: (2024)

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

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

MathConstruct: Challenging LLM Reasoning with Constructive Proofs
by: Balunović, Mislav, et al.
Published: (2025)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
by: Ji, Shihao, et al.
Published: (2026)