The Future of Artificial Intelligence and the Mathematical and Physical Sciences (AI+MPS)
Fuente:
arXiv
Saved in:
Similar Items
Iterative Misclassification Error Training (IMET): An Optimized Neural Network Training Technique for Image Classification
by: Singh, Ruhaan, et al.
Published: (2025)
by: Singh, Ruhaan, et al.
Published: (2025)
Mathematicians in the age of AI
by: Avigad, Jeremy
Published: (2026)
by: Avigad, Jeremy
Published: (2026)
Is Mathematics Obsolete?
by: Avigad, Jeremy
Published: (2025)
by: Avigad, Jeremy
Published: (2025)
Increasing the clock speed of a thermodynamic computer by adding noise
by: Whitelam, Stephen
Published: (2024)
by: Whitelam, Stephen
Published: (2024)
Neural units with time-dependent functionality
by: Whitelam, Stephen
Published: (2024)
by: Whitelam, Stephen
Published: (2024)
Free-energy estimates from nonequilibrium trajectories under varying-temperature protocols
by: Whitelam, Stephen
Published: (2023)
by: Whitelam, Stephen
Published: (2023)
Evolutionary design of thermodynamic logic gates and their heat emission
by: Whitelam, Stephen
Published: (2026)
by: Whitelam, Stephen
Published: (2026)
Training thermodynamic computers by gradient descent
by: Whitelam, Stephen
Published: (2025)
by: Whitelam, Stephen
Published: (2025)
Generative thermodynamic computing
by: Whitelam, Stephen
Published: (2025)
by: Whitelam, Stephen
Published: (2025)
Improving noisy free-energy measurements by adding more noise
by: Whitelam, Stephen
Published: (2025)
by: Whitelam, Stephen
Published: (2025)
Canonical for Automated Theorem Proving in Lean
by: Norman, Chase, et al.
Published: (2025)
by: Norman, Chase, et al.
Published: (2025)
Implementing Dependent Type Theory Inhabitation and Unification
by: Norman, Chase, et al.
Published: (2026)
by: Norman, Chase, et al.
Published: (2026)
Nonlinear thermodynamic computing out of equilibrium
by: Whitelam, Stephen, et al.
Published: (2024)
by: Whitelam, Stephen, et al.
Published: (2024)
Learning protocols for the fast and efficient control of active matter
by: Casert, Corneel, et al.
Published: (2024)
by: Casert, Corneel, et al.
Published: (2024)
Hint-Based SMT Proof Reconstruction
by: Clune, Joshua, et al.
Published: (2026)
by: Clune, Joshua, et al.
Published: (2026)
Learning to shine: Neuroevolution enables optical control of phase transitions
by: Agrawal, Sraddha, et al.
Published: (2025)
by: Agrawal, Sraddha, et al.
Published: (2025)
Adding noise and scaling forces to speed up the Langevin clock
by: Basak, Prithviraj, et al.
Published: (2026)
by: Basak, Prithviraj, et al.
Published: (2026)
LeanArchitect: Automating Blueprint Generation for Humans and AI
by: Zhu, Thomas, et al.
Published: (2026)
by: Zhu, Thomas, et al.
Published: (2026)
Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)
by: Avigad, Jeremy, et al.
Published: (2024)
Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
by: Qian, Yicheng, et al.
Published: (2025)
by: Qian, Yicheng, et al.
Published: (2025)
ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
by: Ahuja, Riyaz, et al.
Published: (2026)
by: Ahuja, Riyaz, et al.
Published: (2026)
DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs
by: Rowney, Tate, et al.
Published: (2026)
by: Rowney, Tate, et al.
Published: (2026)
Impossible by Degrees: Cohomology & Bistable Visual Paradox
by: Ghrist, Lewis, et al.
Published: (2026)
by: Ghrist, Lewis, et al.
Published: (2026)
Strongly solid ${\rm II_1}$ factors with an exotic MASA
by: Houdayer, Cyril, et al.
Published: (2009)
by: Houdayer, Cyril, et al.
Published: (2009)
Establishing strong 1-boundedness via non-microstates free entropy techniques
by: Major, Benjamin, et al.
Published: (2025)
by: Major, Benjamin, et al.
Published: (2025)
Differential Equations for Continuous-Time Deep Learning
by: Ruthotto, Lars
Published: (2024)
by: Ruthotto, Lars
Published: (2024)
Benchmark control problems in nonequilibrium statistical mechanics
by: Whitelam, Stephen, et al.
Published: (2025)
by: Whitelam, Stephen, et al.
Published: (2025)
Learning efficient erasure protocols for an underdamped memory
by: Barros, Nicolas, et al.
Published: (2024)
by: Barros, Nicolas, et al.
Published: (2024)
Competing addition processes give distinct growth regimes in the assembly of 1D filaments
by: Akram, Sk Ashif, et al.
Published: (2024)
by: Akram, Sk Ashif, et al.
Published: (2024)
A Proof-Producing Compiler for Blockchain Applications
by: Avigad, Jeremy, et al.
Published: (2025)
by: Avigad, Jeremy, et al.
Published: (2025)
Clearing in Liability Networks via Sheaves on Directed Hypergraphs
by: Ghrist, Robert
Published: (2026)
by: Ghrist, Robert
Published: (2026)
2,3‐bis((4‐(Pyridin‐2‐yl)‐1H‐1,2,3‐Triazol‐1‐yl)methyl) Quinoxaline Based Cyclometalated Binuclear Ir (III) Complex for Photodynamic Therapy in Triple Negative Breast Cancer Cell
by: Sreelekha U, et al.
Published: (2025)
by: Sreelekha U, et al.
Published: (2025)
Patchy Particles Design: From Floppy Modes to Sloppy Dimensions
by: Snyder, Gregory, et al.
Published: (2025)
by: Snyder, Gregory, et al.
Published: (2025)
Premise Selection for a Lean Hammer
by: Zhu, Thomas, et al.
Published: (2025)
by: Zhu, Thomas, et al.
Published: (2025)
Certified Knowledge Compilation with Application to Formally Verified Model Counting
by: Bryant, Randal E., et al.
Published: (2025)
by: Bryant, Randal E., et al.
Published: (2025)
Interdisciplinary Translations: Sensory Perception as a Universal Language
by: Kang, Xindi, et al.
Published: (2024)
by: Kang, Xindi, et al.
Published: (2024)
Manifold-Aware Perturbations for Constrained Generative Modeling
by: Keegan, Katherine, et al.
Published: (2026)
by: Keegan, Katherine, et al.
Published: (2026)
PyHySCO: GPU-Enabled Susceptibility Artifact Distortion Correction in Seconds
by: Julian, Abigail, et al.
Published: (2024)
by: Julian, Abigail, et al.
Published: (2024)
Alternating Minimization for Regression with Tropical Rational Functions
by: Dunbar, Alex, et al.
Published: (2023)
by: Dunbar, Alex, et al.
Published: (2023)
data files for the spacegroup-cnn-classifier edex at ml-edex-4stem project
by: Billinge, Simon J. L.
Published: (2026)
by: Billinge, Simon J. L.
Published: (2026)
Similar Items
-
Iterative Misclassification Error Training (IMET): An Optimized Neural Network Training Technique for Image Classification
by: Singh, Ruhaan, et al.
Published: (2025) -
Mathematicians in the age of AI
by: Avigad, Jeremy
Published: (2026) -
Is Mathematics Obsolete?
by: Avigad, Jeremy
Published: (2025) -
Increasing the clock speed of a thermodynamic computer by adding noise
by: Whitelam, Stephen
Published: (2024) -
Neural units with time-dependent functionality
by: Whitelam, Stephen
Published: (2024)