Exhaustive enumeration of functions up to complexity k across operator bases shows the integrability fraction declines with k but rises sharply with logarithms, and the method discovers three integrals that resist SymPy, Mathematica, RUBI, FriCAS, Maxima, and Giac.
hub
Smith, Mateusz Paprocki, Ondrej Certik, Sergey B
35 Pith papers cite this work, alongside 1,323 external citations. Polarity classification is still indexing.
35
Pith papers citing it
1,323
external citations · Crossref
hub tools
citation-role summary
background 2
method 1
citation-polarity summary
representative citing papers
BHaHAHA provides the first infrastructure-agnostic open-source apparent horizon finder using a hyperbolic flow method, with reported 64x speedups on difficult cases and 2.1x faster dynamic tracking than AHFinderDirect.
LiveBench is a contamination-limited LLM benchmark with auto-scored challenging tasks from recent sources across math, coding, reasoning and more, where top models score below 70%.
Eccentric mass transfer under the GeMT framework naturally yields the observed eccentricities and orbital-parameter correlations of wide sdB+MS binaries, making eccentricity a probe of mass-transfer physics.
DRSR uses Quality-Diversity to produce diverse symbolic regression expressions differing in residual distributions, enabling post-search selection on synthetic and astronomical data.
TSGP uses a pre-trained transformer as a semantic variation operator in genetic programming, generalizes across d-dimensional problems, and outperforms standard GP, SLIM_GSGP, Deep Symbolic Regression, and Denoising Autoencoder GP on 24 datasets while producing more compact solutions.
InPose formulates pose estimation as an inverse problem solved by guiding a rotation-conditioned diffusion prior with a location-based likelihood term for zero-shot generalization across users.
Tensor-network reformulation of strong-coupling QCD with staggered fermions at nonzero μ, yielding analytical results on 2×2 lattices up to β^4.
A universal algorithm constructs DOF transformation matrices for arbitrary Ciarlet elements from the element definition and reference cell only, implemented in Basix.
A method called the degeneracy distillery uses symbolic transformations to flatten the Fisher information matrix globally from simulations alone, identifying independent parameter combinations and reducing neural posterior estimation simulation budgets by up to 10x.
Merging real-valued GOMEA with GP-GOMEA enables simultaneous optimization of constants and expression structure, generally outperforming other constant-handling techniques in symbolic regression.
3D simulations find that the convective Urca process reduces mixing efficiency near the convective boundary in a simmering white dwarf but does not restrict the overall size of the convection zone, with the A=23 pair having the largest effect.
Quokka# is a Python library that converts quantum circuit analysis tasks into #SAT problems, offering multiple encodings, approximate equivalence checking, and depth-optimal synthesis.
An open-source GCE code with a 100x faster solver demonstrates that refractory ratios Mg/Si and Fe/Si control carbon partitioning and atmospheric properties in water-accreting sub-Neptunes.
libwignernj is a new open-source library for exact evaluation of Wigner symbols, Clebsch-Gordan coefficients, and Gaunt coefficients using prime-factorization and exact rational arithmetic with multi-language bindings.
New VLT observations of He I* absorbers yield a primordial ³He/⁴He ratio of (1.15^{+0.24}_{-0.21})×10^{-4} consistent with standard Big Bang nucleosynthesis, plus an updated stellar yield scaling factor.
Embedding dynamic analysis into an LLM repair agent yields a claimed 79.4% resolution rate on SWE-bench Verified while cutting token use by about 25%.
3D simulations show the convective Urca process substantially reduces the convection zone size in a simmering white dwarf, though convection extends past the Urca shell.
SeQuant introduces a graph-theoretic tensor network canonicalizer for efficient symbolic manipulation and numerical evaluation of tensors over commutative and non-commutative rings, with support for noncovariant and nested tensors.
A method for adjoint differentiation of stencil loops that preserves their structure and parallelizability via combined AD and loop transformations, released as the PerforAD tool with seismic and CFD test cases.
Dust particles inspiraling under PR drag are temporarily trapped in MMRs, escape due to overstability of librations, then undergo stochastic scattering with predicted fractions for planetary collision, sublimation, or ejection via an analytic epicycle model and Monte Carlo method.
GPU fitness evaluation for GP-GOMEA boosts throughput, improves benchmark results especially on large datasets, and allows reliable regression of large Feynman equations within hours.
InterQ presents a communication-aware scheduler for modular QPUs that jointly optimizes placement, parallel execution, adaptive circuit cutting, and link-specific coordination for superconducting, trapped-ion, and neutral-atom systems.
Galaxy clusters have an average projected ellipticity of 0.310 with axis ratio 0.527, showing no significant mass or redshift dependence, measured via weak lensing on DES Y3 data and verified with mocks.
citing papers explorer
-
Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
Exhaustive enumeration of functions up to complexity k across operator bases shows the integrability fraction declines with k but rises sharply with logarithms, and the method discovers three integrals that resist SymPy, Mathematica, RUBI, FriCAS, Maxima, and Giac.
-
BHaHAHA: A Fast, Robust Apparent Horizon Finder Library for Numerical Relativity
BHaHAHA provides the first infrastructure-agnostic open-source apparent horizon finder using a hyperbolic flow method, with reported 64x speedups on difficult cases and 2.1x faster dynamic tracking than AHFinderDirect.
-
LiveBench: A Challenging, Contamination-Limited LLM Benchmark
LiveBench is a contamination-limited LLM benchmark with auto-scored challenging tasks from recent sources across math, coding, reasoning and more, where top models score below 70%.
-
Reframing the Wide Eccentric Binary Problem: Eccentricity as a Probe of Mass-transfer Physics
Eccentric mass transfer under the GeMT framework naturally yields the observed eccentricities and orbital-parameter correlations of wide sdB+MS binaries, making eccentricity a probe of mass-transfer physics.
-
Diversified Residual Symbolic Regression
DRSR uses Quality-Diversity to produce diverse symbolic regression expressions differing in residual distributions, enabling post-search selection on synthetic and astronomical data.
-
Transformer Semantic Genetic Programming for d-dimensional Symbolic Regression Problems
TSGP uses a pre-trained transformer as a semantic variation operator in genetic programming, generalizes across d-dimensional problems, and outperforms standard GP, SLIM_GSGP, Deep Symbolic Regression, and Denoising Autoencoder GP on 24 datasets while producing more compact solutions.
-
Zero-shot Human Pose Estimation using Diffusion-based Inverse solvers
InPose formulates pose estimation as an inverse problem solved by guiding a rotation-conditioned diffusion prior with a location-based likelihood term for zero-shot generalization across users.
-
Tensor-network formulation of QCD in the strong-coupling expansion
Tensor-network reformulation of strong-coupling QCD with staggered fermions at nonzero μ, yielding analytical results on 2×2 lattices up to β^4.
-
Algorithm XXXX: Computation of finite element degree-of-freedom transformation matrices
A universal algorithm constructs DOF transformation matrices for arbitrary Ciarlet elements from the element definition and reference cell only, implemented in Basix.
-
The Degeneracy Distillery
A method called the degeneracy distillery uses symbolic transformations to flatten the Fisher information matrix globally from simulations alone, identifying independent parameter combinations and reducing neural posterior estimation simulation budgets by up to 10x.
-
Simultaneous Model-Based Evolution of Constants and Expression Structure in GP-GOMEA for Symbolic Regression
Merging real-valued GOMEA with GP-GOMEA enables simultaneous optimization of constants and expression structure, generally outperforming other constant-handling techniques in symbolic regression.
-
Simulating the Convective Urca Process with Multiple Urca Pairs in a Simmering White Dwarf
3D simulations find that the convective Urca process reduces mixing efficiency near the convective boundary in a simmering white dwarf but does not restrict the overall size of the convection zone, with the A=23 pair having the largest effect.
-
Quokka#: Quantum Computing with #SAT
Quokka# is a Python library that converts quantum circuit analysis tasks into #SAT problems, offering multiple encodings, approximate equivalence checking, and depth-optimal synthesis.
-
A New Global Chemical Equilibrium Code: Refractory Element Signatures in Super-Earths and Sub-Neptunes
An open-source GCE code with a 100x faster solver demonstrates that refractory ratios Mg/Si and Fe/Si control carbon partitioning and atmospheric properties in water-accreting sub-Neptunes.
-
libwignernj: a reusable C/C++/Fortran/Python library for exact Wigner symbols and related coefficients
libwignernj is a new open-source library for exact evaluation of Wigner symbols, Clebsch-Gordan coefficients, and Gaunt coefficients using prime-factorization and exact rational arithmetic with multi-language bindings.
-
Towards a measurement of the primordial helium isotope ratio
New VLT observations of He I* absorbers yield a primordial ³He/⁴He ratio of (1.15^{+0.24}_{-0.21})×10^{-4} consistent with standard Big Bang nucleosynthesis, plus an updated stellar yield scaling factor.
-
Dynamic analysis enhances issue resolution
Embedding dynamic analysis into an LLM repair agent yields a claimed 79.4% resolution rate on SWE-bench Verified while cutting token use by about 25%.
-
On the Importance of the Convective Urca Process in 3D Simulations of a Simmering White Dwarf
3D simulations show the convective Urca process substantially reduces the convection zone size in a simmering white dwarf, though convection extends past the Urca shell.
-
SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
SeQuant introduces a graph-theoretic tensor network canonicalizer for efficient symbolic manipulation and numerical evaluation of tensors over commutative and non-commutative rings, with support for noncovariant and nested tensors.
-
Automatic Differentiation for Adjoint Stencil Loops
A method for adjoint differentiation of stencil loops that preserves their structure and parallelizability via combined AD and loop transformations, released as the PerforAD tool with seismic and CFD test cases.
-
Resonance and Stochastic Dynamics of Interplanetary Dust
Dust particles inspiraling under PR drag are temporarily trapped in MMRs, escape due to overstability of librations, then undergo stochastic scattering with predicted fractions for planetary collision, sublimation, or ejection via an analytic epicycle model and Monte Carlo method.
-
GP-GOMEA with GPU-Based Fitness Evaluations: Design and Performance Analysis
GPU fitness evaluation for GP-GOMEA boosts throughput, improves benchmark results especially on large datasets, and allows reliable regression of large Feynman equations within hours.
-
InterQ: Communication-Aware Scheduling Across Modular QPUs with Classical and Quantum Links
InterQ presents a communication-aware scheduler for modular QPUs that jointly optimizes placement, parallel execution, adaptive circuit cutting, and link-specific coordination for superconducting, trapped-ion, and neutral-atom systems.
-
Constraining Galaxy Cluster Triaxiality via Weak Lensing -- I. Preparation for the Rubin Data Beyond Leading Order
Galaxy clusters have an average projected ellipticity of 0.310 with axis ratio 0.527, showing no significant mass or redshift dependence, measured via weak lensing on DES Y3 data and verified with mocks.
-
Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs
MathArena is broadened into a maintained platform with new benchmarks for proofs, research questions, and formal verification, where GPT-5.5 scores 98% on 2026 USAMO and 74% on research-level tasks.
-
Rethinking Math Reasoning Evaluation: A Robust LLM-as-a-Judge Framework Beyond Symbolic Rigidity
An LLM-as-a-judge evaluation framework for math reasoning outperforms symbolic methods by accurately assessing diverse answer representations and formats.
-
QuMod: Parallel Quantum Job Scheduling on Modular QPUs using Circuit Cutting
QuMod is a multi-programmable scheduler for modular QPUs that jointly optimizes qubit mapping, parallel circuit execution, measurement synchronization, and inter-QPU teleportation via dynamic circuits.
-
Nonlinear Decay of Fast Magnetosonic Waves through Weak Turbulence: Force-Free Electrodynamics Simulations
Force-free simulations confirm that fast magnetosonic waves undergo efficient parametric decay into secondary FMS and Alfvén waves, producing a broad spectrum and continued energy drain even after equipartition.
-
Analytic calculator for determination of $\gamma$-ray angular distribution coefficients and tensors in aligned and partially-aligned nuclei
A new Python package reproduces and extends the standard gamma-ray angular distribution coefficient tables for aligned and partially aligned nuclei, with validated vector-coupling calculators.
-
Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
Formalizes Bézout's identity, FTA, and Fermat factorization in Minlog with program extraction to Haskell, comparing binary vs unary encodings for performance.
-
Jarvis-HEP: A lightweight Python framework for workflow composition and parameter scans in high-energy physics
Jarvis-HEP introduces a YAML-based Python framework for composing workflows and performing parameter scans in high-energy physics.
-
The Astropy Project: Sustaining and Growing a Community-oriented Open-source Project and the Latest Major Release (v5.0) of the Core Package
The paper reports on the Astropy v5.0 release, project updates, ecosystem connections, and challenges facing the community-oriented open-source astronomy software effort.
-
SciPy 1.0--Fundamental Algorithms for Scientific Computing in Python
SciPy 1.0 documents a mature open-source library that has become the de facto standard for scientific algorithms in Python with broad adoption across research projects.
- Letting Homogeneity Entropy Select S-Pairs in Buchberger's Algorithm
- Qhronology: A Python package for studying quantum models of closed timelike curves