Imagen de Portada

FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Beniamini, Gal, Dor, Yuval, Vinnikov, Alon, Peled, Shir Granot, Weinstein, Or, Sharir, Or, Wies, Noam, Nussbaum, Tomer, Shaul, Ido Ben, Zekharya, Tomer, Levine, Yoav, Shalev-Shwartz, Shai, Shashua, Amnon
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Computational Complexity Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Artificial Expert Intelligence through PAC-reasoning
por: Shalev-Shwartz, Shai, et al.
Publicado: (2024)

From Reasoning to Super-Intelligence: A Search-Theoretic Perspective
por: Shalev-Shwartz, Shai, et al.
Publicado: (2025)

Fundamental Limitations of Alignment in Large Language Models
por: Wolf, Yotam, et al.
Publicado: (2023)

Tradeoffs Between Alignment and Helpfulness in Language Models with Steering Methods
por: Wolf, Yotam, et al.
Publicado: (2024)

Contextual Plackett-Luce: An Efficient Neural Model for Probabilistic Sequence Selection under Ambiguity
por: Mizrachi, Noam, et al.
Publicado: (2026)

Masked by Consensus: Disentangling Privileged Knowledge in LLM Correctness
por: Ashuach, Tomer, et al.
Publicado: (2026)

Generating Benchmarks for Factuality Evaluation of Language Models
por: Muhlgay, Dor, et al.
Publicado: (2023)

Research Program: Theory of Learning in Dynamical Systems
por: Hazan, Elad, et al.
Publicado: (2025)

The ∞‐categorical reflection theorem and applications
por: Shaul Ragimov, et al.
Publicado: (2025)

Untangling Lariats: Subgradient Following of Variationally Penalized Objectives
por: Mo, Kai-Chia, et al.
Publicado: (2024)

Interactively visualizing biological multilayer networks using MiRA
por: Nehoray, Shir Miryam, et al.
Publicado: (2026)

Closed-form evaluations of log-sine integrals and Apéry-like sums in terms of polylogarithms
por: Shalev, Noam
Publicado: (2025)

Conversational Prompt Engineering
por: Ein-Dor, Liat, et al.
Publicado: (2024)

Numerical simulations of internal shocks in spherical geometry: hydrodynamics and prompt emission
por: Charlet, A., et al.
Publicado: (2024)

Afterglow Linear Polarization Signatures from Steep GRB Jets: Implications for Orphan Afterglows
por: Birenbaum, Gal, et al.
Publicado: (2025)

Short‐term climatic oscillations versus long‐term delta propagation: Controls on sand transport into the deep Levant Basin since the Pliocene
por: Ido Sirota, et al.
Publicado: (2024)

Compositional Hardness of Code in Large Language Models -- A Probabilistic Perspective
por: Wolf, Yotam, et al.
Publicado: (2024)

Align With Purpose: Optimize Desired Properties in CTC Models with a General Plug-and-Play Framework
por: Segev, Eliya, et al.
Publicado: (2023)

PSC: Posterior Sampling-Based Compression
por: Elata, Noam, et al.
Publicado: (2024)

Classification Diffusion Models: Revitalizing Density Ratio Estimation
por: Yadin, Shahar, et al.
Publicado: (2024)

Adaptive Compressed Sensing with Diffusion-Based Posterior Sampling
por: Elata, Noam, et al.
Publicado: (2024)

Jamba: A Hybrid Transformer-Mamba Language Model
por: Lieber, Opher, et al.
Publicado: (2024)

The Deep Newtonian Regime in Late-Time Blast Waves: Inevitable Transition and Distinct Flux Signatures
por: Rahaman, Sk. Minhajur, et al.
Publicado: (2026)

Ultra-long Gamma-ray Bursts from Micro-Tidal Disruption Events: The Case of GRB 250702B
por: Beniamini, Paz, et al.
Publicado: (2025)

Summary of the NOTSOFAR-1 Challenge: Highlights and Learnings
por: Abramovski, Igor, et al.
Publicado: (2025)

Stay Tuned: An Empirical Study of the Impact of Hyperparameters on LLM Tuning in Real-World Applications
por: Halfon, Alon, et al.
Publicado: (2024)

Twisted Graded Categories
por: Keidar, Shai, et al.
Publicado: (2025)

Semiadditive Alternating Powers and Twisted Power Operation
por: Keidar, Shai, et al.
Publicado: (2025)

SDAT: Sub-Dataset Alternation Training for Improved Image Demosaicing
por: Becker, Yuval, et al.
Publicado: (2023)

Free-Electron Ramsey-Type Interferometry for Enhanced Amplitude and Phase imaging of Nearfields
por: Bucher, Tomer, et al.
Publicado: (2023)

Rate-Optimal Policy Optimization for Linear Markov Decision Processes
por: Sherman, Uri, et al.
Publicado: (2023)

Impact of severe intra‐abdominal adhesions on early maternal complications following cesarean delivery
por: Shai Ram, et al.
Publicado: (2025)

GSURE-Based Diffusion Model Training with Corrupted Data
por: Kawar, Bahjat, et al.
Publicado: (2023)

Tracing AG Codes: Toward Meeting the Gilbert-Varshamov Bound
por: Cohen, Gil, et al.
Publicado: (2025)

Chapter B: Supporting Systems Architecture – An Integrative Concept for Implementing Neural Bypass in ALS
por: Tomer, Roi
Publicado: (2026)

Cape May Warbler in Oklahoma
por: Tomer, John S
Publicado: (1956)

On the Presence of Angular-Velocity Offsets in Disk Galaxies
por: Zimmerman, Tomer
Publicado: (2025)

Prophet Inequality from Samples: Is the More the Merrier?
por: Ezra, Tomer
Publicado: (2024)

A very short proof of the Figiel-Lindenstrauss-Milman theorem
por: Milo, Tomer
Publicado: (2025)

The Universe as a Learning System
por: Shushi, Tomer
Publicado: (2024)