Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
Frieder, S
Bayer, J
Looi, S
Loader, J
Berner, J
Collins, K
Juhász, A
Ruehle, F
Welleck, S
Poesia, G
Griffiths, R
Weller, A
Goyal, A
Freer, C
Lukasiewicz, T
Gowers, T
(19 Dec 2024)
https://arxiv.org/abs/2412.15184v2
Erratum: Broken detailed balance and entropy production in directed networks [Phys. Rev. E 110, 034313 (2024)]
Nartallo-Kaluarachchi, R
Asllani, M
Deco, G
Kringelbach, M
Goriely, A
Lambiotte, R
Physical Review E
volume 110
issue 6
069901-069901
(24 Dec 2024)
doi:10.1103/physreve.110.069901
Erratum: Broken detailed balance and entropy production in directed networks [Phys. Rev. E 110, 034313 (2024)]
Nartallo-Kaluarachchi, R
Asllani, M
Deco, G
Kringelbach, M
Goriely, A
Lambiotte, R
Physical Review E
volume 110
issue 6
069901-069901
(24 Dec 2024)
doi:10.1103/physreve.110.069901
Bounding phenotype transition probabilities via conditional complexity
Dingle, K
Hagolani, P
Zimm, R
Umar, M
O’Sullivan, S
Louis, A
doi:10.1101/2024.12.18.629197
A renewal-equation approach to estimating R t and infectious disease case counts in the presence of reporting delays
Bajaj, S
Thompson, R
Lambert, B
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
volume 383
issue 2292
(13 Mar 2025)
doi:10.1098/rsta.2024.0357
Formal theory at ICHEP 2024
Schafer-Nameki, S
Proceedings of 42nd International Conference on High Energy Physics — PoS(ICHEP2024)
volume 476
026
(17 Dec 2024)
doi:10.22323/1.476.0026
Sort & Slice: a simple and superior alternative to hash-based folding for extended-connectivity fingerprints.
Dablander, M
Hanser, T
Lambiotte, R
Morris, G
J. Cheminformatics
volume 16
135-135
(01 Dec 2024)
Categorical Symmetries in Spin Models with Atom Arrays
Warman, A
Yang, F
Tiwari, A
Pichler, H
Schafer-Nameki, S
(19 Dec 2024)
Formal Theory at ICHEP 2024
Schafer-Nameki, S
(30 Dec 2024)
doi:10.48550/arxiv.2412.21007
Discrete tensor product BGG sequences: Splines and finite elements
Bonizzoni, F
Hu, K
Kanschat, G
Sap, D
Mathematics of Computation
volume 94
issue 352
517-549
(17 Apr 2024)
doi:10.1090/mcom/3969