PreprintNot peer reviewedArtificial IntelligenceResearchers report an open-weight AI agent that improves formal maths proof translationOriginal title: AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving HarnessA preprint describes AIProver, an agentic system that jointly trains a model and evolves its tool harness to auto-formalise research-level maths proofs in Lean.Prithwish Jana et al. · Added 25 Oct 2026
PreprintNot peer reviewedFrom Quantum MotionQuantum ComputingResearchers report decoder confidence scores can cut logical error rates in quantum circuitsOriginal title: Error mitigation for logical circuits using decoder confidenceA preprint explores using decoder confidence scores to abort risky quantum circuit runs or statistically correct their output, reducing logical error impact.Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingResearchers propose two-qubit quantum memory using tunable detuning controlOriginal title: Quantum memory in an effective $Λ$-type system using dynamic detuning control of a superconducting qubit pairA preprint proposes storing microwave photons in a pair of detuned superconducting qubits acting as an effective three-level memory.Hsin Chang et al. · Added 25 Oct 2026
PreprintNot peer reviewedFrom GoogleArtificial IntelligenceResearchers report insight injection lifts agentic ML-engineering results by 123.9%Original title: Assembling Insights for Agentic Machine Learning Engineering SystemsA preprint finds that feeding assembled task insights into an agentic machine-learning engineering system sharply boosts its benchmark scores.Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingResearchers report quasilinear-cost method for classically verifying quantum computationsOriginal title: Classical Verification of Quantum Computation with Quasilinear Resources, from Compiled Nonlocal GamesA preprint describes a cryptographic protocol letting a classical verifier check a quantum computer's work with far less overhead than prior cubic-cost schemes.Finn Holler et al. · Added 25 Oct 2026
PreprintNot peer reviewedArtificial IntelligencePreprint finds tool-hallucination fixes can backfire when tool setups changeOriginal title: Understanding and Mitigating Hallucination Escape in Tool-Using LLM AgentsA preprint reports that existing LLM tool-hallucination fixes can increase errors under other tool configurations, and proposes a method to curb this.Peigui Qi et al. · Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingResearchers report quantum memory decoders can miss hidden noise correlationsOriginal title: What Must a Quantum-Memory Decoder Know About Temporally Correlated Noise?A preprint reports that syndrome data alone can leave quantum error-correction decoders unable to tell apart noise types needing different fixes.Danesh Morales-Hashemi et al. · Added 25 Oct 2026
PreprintNot peer reviewedFrom IonQQuantum ComputingResearchers report a fix for quantum gate benchmarking when groups have multiplicityOriginal title: Lifting Multiplicity in Randomized BenchmarkingA preprint describes a benchmarking method that avoids multi-exponential curve fitting for quantum gate groups with multiplicity.Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingPreprint reports non-Gaussian inputs can cut GKP magic state distillation costsOriginal title: Improved GKP magic states from error-corrected non-Gaussian quantum statesA preprint reports that starting error correction from simple non-Gaussian states, rather than the vacuum, can shrink resources needed for GKP magic state distillation.Sharon David et al. · Added 25 Oct 2026
PreprintNot peer reviewedFrom MetaArtificial IntelligenceA preprint proposes finer credit assignment to boost LLM reasoning via RLOriginal title: Hierarchical Credit Assignment for RLVR on Fused Gromov-Wasserstein GeometryResearchers report a new method that rewards semantically novel reasoning steps in LLM training, improving results on several math benchmarks.Added 25 Oct 2026
PreprintNot peer reviewedFrom PhasecraftQuantum ComputingResearchers report a faster probabilistic imaginary-time evolution algorithm for quantum chemistryOriginal title: A quantum double-bracket algorithm for imaginary-time evolution with exponentially shorter depthA preprint reports a probabilistic double-bracket algorithm that cuts circuit depth for quantum imaginary-time evolution.Added 25 Oct 2026
PreprintNot peer reviewedArtificial IntelligencePreprint models why self-distillation resists forgetting while fine-tuning does notOriginal title: Learning without Overwriting: A Theory of Self-Distillation and Supervised Fine-Tuning in Continual ReasoningA preprint offers a theoretical account of why on-policy self-distillation preserves earlier skills better than standard fine-tuning during continual reasoning training.Shinichi Uemura et al. · Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingStudy maps where variational quantum circuits fail for a two-flavor lattice gauge modelOriginal title: Disentangling Expressibility, Symmetry Protection, and Hardware Noise in Variational Quantum Simulation of the Two-Flavor Schwinger ModelA preprint reports hardware noise, not circuit design, is what stops variational quantum simulation from scaling on a simple gauge theory.Karthikeya Machiraju et al. · Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingResearchers report silicon spin qubit reset without reservoirs or measurementOriginal title: Reservoir- and Measurement-free Microwave Initialization of Semiconductor Spin QubitsA preprint reports a microwave-only pulse sequence that initialises silicon spin qubits without reservoir access or readout feedback.Leon C. Camenzind et al. · Added 25 Oct 2026
PreprintNot peer reviewedFrom AWS Center for Quantum ComputingQuantum ComputingPreprint models realistic noise, gates and read-out for superconducting GKP qubitsOriginal title: Modeling Logical Gates and Read-Out of Superconducting Gottesman-Kitaev-Preskill QubitsA preprint presents theoretical tools linking realistic noise, logical gates and imperfect measurement for superconducting GKP qubits.Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingPreprint proposes error-mitigation scheme to cut quantum resource overheadsOriginal title: Compilation-informed probabilistic logical-error cancellationA preprint describes a mitigation technique that aims to make high-precision quantum estimates independent of target precision in circuit size and code distance.Giancarlo Camilo et al. · Added 25 Oct 2026
PreprintNot peer reviewedQuantum ComputingA preprint reports a compact quantum circuit learning exact algebraic rulesOriginal title: Universal Quantum TransformerResearchers report that a small quantum attention circuit can learn modular arithmetic, group algebra and language rules with near-perfect precision.Sungyong Chung et al. · Added 25 Oct 2026
PreprintNot peer reviewedArtificial IntelligenceResearchers report hardware counters can reveal if data trained an LLMOriginal title: TranScope: What the Software Hides About LLM Training Data, the Hardware Reveals at Scale, and Accelerators MagnifyA preprint describes TranScope, a tool using CPU performance counters to detect whether specific data was used to train a language model.Joshua Kalyanapu et al. · Added 24 Oct 2026
PreprintNot peer reviewedArtificial IntelligenceResearchers report code comments can steer LLMs to write vulnerable codeOriginal title: Hidden in the Comments: A Context-Injection Attack Surface in Code LLMsA preprint finds that insecure instructions hidden in code comments push Code LLMs toward vulnerable completions far more often than benign tasks.Noor Munir et al. · Added 24 Oct 2026
PreprintNot peer reviewedQuantum ComputingPreprint explores quantum computer simulations of nuclear quantum effects in moleculesOriginal title: Molecular Dynamics with Nuclear Effects on Quantum ComputersA preprint reports a hybrid quantum-classical molecular dynamics method that includes nuclear quantum effects using a quantum computer.Lukas Haßfurth et al. · Added 24 Oct 2026