Cover Image

Diverse Inference and Verification for Advanced Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Drori, Iddo, Longhitano, Gaston, Mao, Mao, Hyun, Seunghwan, Zhang, Yuke, Park, Sungjun, Meeks, Zachary, Zhang, Xin-Yu, Segev, Ben, Yong, Howard, Verma, Nakul, Shporer, Avi, Amit, Alon, Udell, Madeleine
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AI-Driven Review Systems: Evaluating LLMs in Scalable and Bias-Aware Academic Reviews
by: Tyser, Keith, et al.
Published: (2024)

Enhancing Physics-Informed Neural Networks Through Feature Engineering
by: Fazliani, Shaghayegh, et al.
Published: (2025)

SAPPHIRE: Preconditioned Stochastic Variance Reduction for Faster Large-Scale Statistical Learning
by: Sun, Jingruo, et al.
Published: (2025)

Thinking and Killing
by: Segev, Alon
Published: (2018)

Thinking and Killing - Philosophical Discourse in the Shadow of the Third Reich
by: Segev, Alon
Published: (2018)

Turbocharging Gaussian Process Inference with Approximate Sketch-and-Project
by: Rathore, Pratik, et al.
Published: (2025)

Algebraic characterization of equivalence between oracle-based iterative algorithms
by: Lessard, Laurent, et al.
Published: (2025)

PDE-SHARP: PDE Solver Hybrids through Analysis and Refinement Passes
by: Fazliani, Shaghayegh, et al.
Published: (2025)

SketchySGD: Reliable Stochastic Optimization via Randomized Curvature Estimates
by: Frangella, Zachary, et al.
Published: (2022)

On the (linear) convergence of Generalized Newton Inexact ADMM
by: Frangella, Zachary, et al.
Published: (2023)

PROMISE: Preconditioned Stochastic Optimization Methods by Incorporating Scalable Curvature Estimates
by: Frangella, Zachary, et al.
Published: (2023)

A Search for Temporal Atmospheric Variability of Kepler Hot Jupiters
by: Li, Canis, et al.
Published: (2024)

Interpretable Prediction and Feature Selection for Survival Analysis
by: Van Ness, Mike, et al.
Published: (2024)

dnamite: A Python Package for Neural Additive Models
by: Van Ness, Mike, et al.
Published: (2025)

SNAP: Semantic Stories for Next Activity Prediction
by: Oved, Alon, et al.
Published: (2024)

Deep Autoregressive Models as Causal Inference Engines
by: Im, Daniel Jiwoong, et al.
Published: (2024)

Have ASkotch: A Neat Solution for Large-scale Kernel Ridge Regression
by: Rathore, Pratik, et al.
Published: (2024)

Challenges in Training PINNs: A Loss Landscape Perspective
by: Rathore, Pratik, et al.
Published: (2024)

GeNIOS: an (almost) second-order operator-splitting solver for large-scale convex optimization
by: Diamandis, Theo, et al.
Published: (2023)

New Approximation Guarantees for The Inventory Staggering Problem
by: Alon, Noga, et al.
Published: (2025)

Ambipolar Ion Pumping with Ratchet Driven Active Membranes
by: Herman, Alon, et al.
Published: (2024)

"It Was a Magical Box": Understanding Practitioner Workflows and Needs in Optimization
by: Lawless, Connor, et al.
Published: (2025)

Small Gradient Norm Regret for Online Convex Optimization
by: Gao, Wenzhi, et al.
Published: (2026)

An automatic system to detect equivalence between iterative algorithms
by: Zhao, Shipu, et al.
Published: (2021)

ST-WebAgentBench: A Benchmark for Evaluating Safety and Trustworthiness in Web Agents
by: Levy, Ido, et al.
Published: (2024)

Analyzing the Resource Utilization of Lambda Functions on Mobile Devices: Case Studies on Kotlin and Swift
by: Ejimuda, Chibundom U., et al.
Published: (2025)

DNAMite: Interpretable Calibrated Survival Analysis with Discretized Additive Models
by: Van Ness, Mike, et al.
Published: (2024)

SnareNet: Flexible Repair Layers for Neural Networks with Hard Constraints
by: Chu, Ya-Chi, et al.
Published: (2026)

OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
by: AhmadiTeshnizi, Ali, et al.
Published: (2024)

New Results on the Polyak Stepsize: Tight Convergence Analysis and Universal Function Classes
by: He, Chang, et al.
Published: (2025)

When Does Primal Interior Point Method Beat Primal-dual in Linear Optimization?
by: Gao, Wenzhi, et al.
Published: (2024)

Randomized Nyström Preconditioned Interior Point-Proximal Method of Multipliers
by: Chu, Ya-Chi, et al.
Published: (2024)

Scalable Approximate Optimal Diagonal Preconditioning
by: Gao, Wenzhi, et al.
Published: (2023)

Spawning induction in common carp (Cyprinus carpio) using pituitary extract or GnRH superactive analogue combined with metoclopramide : nalysis of hormone profile, progress of oocyte maturation and dependence on temperature / sigal Drori
by: Drori, Sigal
Published: (1994)

The Adventures of Structure
by: Iddo Tavory
Published: (2026)

Goffman's Frame Analysis: Theoretical Possibilities Half a Century Later
by: Iddo Tavory
Published: (2024)

The Merger Mystery
by: Meeks, Geoff, et al.
Published: (2022)

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness
by: Tzameret, Iddo, et al.
Published: (2023)

Gradient Methods with Online Scaling
by: Gao, Wenzhi, et al.
Published: (2024)

Gradient Methods with Online Scaling Part I. Theoretical Foundations
by: Gao, Wenzhi, et al.
Published: (2025)