:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Achim, Tudor, Best, Alex, Bietti, Alberto, Der, Kevin, Fédérico, Mathïs, Gukov, Sergei, Halpern-Leistner, Daniel, Henningsgard, Kirsten, Kudryashov, Yury, Meiburg, Alexander, Michelsen, Martin, Patterson, Riley, Rodriguez, Eric, Scharff, Laura, Shanker, Vikram, Sicca, Vladmir, Sowrirajan, Hari, Swope, Aidan, Tamas, Matyas, Tenev, Vlad, Thomm, Jonathan, Williams, Harold, Wu, Lawrence
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language
Online Access:	https://arxiv.org/abs/2510.01346
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Newclid: A User-Friendly Replacement for AlphaGeometry
by: Sicca, Vladmir, et al.
Published: (2024)

The noncommutative minimal model program
by: Halpern-Leistner, Daniel
Published: (2023)

A categorical perspective on non-abelian localization
by: Halpern-Leistner, Daniel
Published: (2025)

On the structure of equivariant derived categories
by: Halpern-Leistner, Daniel
Published: (2024)

Full exceptional collections of vector bundles on rank-two linear GIT quotients
by: Halpern-Leistner, Daniel, et al.
Published: (2022)

The intrinsic approach to moduli theory
by: Alper, Jarod, et al.
Published: (2026)

Quantum operations on the ring of symmetric functions
by: Halpern-Leistner, Daniel, et al.
Published: (2025)

Properties of deformed mass and phase functions
by: Halpern-Leistner, Daniel, et al.
Published: (2026)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
by: Liang, Zhenwen, et al.
Published: (2025)

Existence of moduli spaces for algebraic stacks
by: Alper, Jarod, et al.
Published: (2018)

De-Biasing Models of Biased Decisions: A Comparison of Methods Using Mortgage Application Data
by: Tenev, Nicholas
Published: (2024)

Corporate governance and enterprise reform in China : building the institutions of modern markets / Stoyan Tenev, Chunlin Zhang with Loup Brefort
by: Tenev, Stoyan
Published: (2002)

Moduli spaces of sheaves via affine Grassmannians
by: Halpern-Leistner, Daniel, et al.
Published: (2021)

Stability conditions and semiorthogonal decompositions I: quasi-convergence
by: Halpern-Leistner, Daniel, et al.
Published: (2023)

Coordinated Shirking in Technology Adoption
by: Tenev, Nicholas H.
Published: (2025)

Regionalpolitik und regionale Entwicklungspotentiale
by: Scharff, Reinhard
Published: (2019)

Direitos Humanos Fundamentais das Pessoas com Deficiência
by: Vladmir Oliveira da Silveira
Published: (2013)

Why Don't They Ask Questions?
by: Swope, Mary Jane, et al.
Published: (1972)

Projectivity of the moduli of equidimensional branchvarieties
by: Halpern-Leistner, Daniel, et al.
Published: (2024)

Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks
by: Bu, Chenjing, et al.
Published: (2025)

Bounding the Graph Capacity with Quantum Mechanics and Finite Automata
by: Meiburg, Alexander
Published: (2024)

The Use of Microcomputers for Information Retrieval.
by: Scharff, L., et al.
Published: (1983)

Towards Few-Call Model Stealing via Active Self-Paced Knowledge Distillation and Diffusion-Based Image Generation
by: Hondru, Vlad, et al.
Published: (2023)

High-Impact Innovations and Hidden Gender Disparities in Inventor-Evaluator Networks
by: Sowrirajan, Tara, et al.
Published: (2024)

Teleoperation in Robot-assisted MIS with Adaptive RCM via Admittance Control
by: Nasiri, Ehsan, et al.
Published: (2024)

Optimal Echo Chambers
by: Martinez, Gabriel, et al.
Published: (2020)

Racial and Ethnic Disparities in Mortgage Lending: New Evidence from Expanded HMDA Data
by: Lewis-Faupel, Sean, et al.
Published: (2024)

Generalisation of an IMO Geometry Problem
by: Hamzić, Dina Kamber, et al.
Published: (2024)

Camafroneta Frick & Scharff 2018, gen. nov.
by: Frick, Holger, et al.
Published: (2018)

Mother, Musician, Performer: Living the Impossible?
by: Sally Savage, et al.
Published: (2026)

The 1993-94 Educational Software Preview Guide.
by: Best, Anita, Ed., et al.
Published: (1993)

The Multiple Ticket Hypothesis: Random Sparse Subnetworks Suffice for RLVR
by: Adewuyi, Israel, et al.
Published: (2026)

Entre A Magia e o Pensamento Secular: Reflexões Sobre a Cultura Política Brasileira a Partir das Religiões Populares
by: Rodrigo Leistner
Published: (2016)

Religião, ciência e transdisciplinaridade: o conhecimento afro-religioso como objeto de estudo
by: Rodrigo Leistner
Published: (2009)

TENSÕES ENTRE INDIVIDUALISMO E COMUNIDADE NAS RELIGIÕES DE MATRIZ AFRICANA
by: Rodrigo Leistner
Published: (2009)

SOB O SIGNO DA AMEAÇA: conflito, poder e feitiço nas religiões afro-brasileiras
by: Rodrigo Leistner
Published: (2010)

How history shapes memories in autobiographical narratives
by: Lucas Bietti
Published: (2012)

The Memory Process: Neuroscientific and Humanistic Perspectives
by: Lucas Bietti
Published: (2013)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
by: Lau, Gabriel Rongyang
Published: (2026)

Gradient descent reliably finds depth- and gate-optimal circuits for generic unitaries
by: Gomathi, Janani, et al.
Published: (2026)