We gratefully acknowledge support from
the Simons Foundation and member institutions.


Authors and titles for recent submissions, skipping first 471

[ total of 985 entries: 1-25 | ... | 397-421 | 422-446 | 447-471 | 472-496 | 497-521 | 522-546 | 547-571 | ... | 972-985 ]
[ showing 25 entries per page: fewer | more | all ]

Thu, 25 May 2023 (continued, showing 25 of 172 entries)

[472]  arXiv:2305.14407 [pdf, ps, other]
Title: Large-Scale Formal Proof for the Working Mathematician -- Lessons learnt from the ALEXANDRIA Project
Comments: Invited paper for CICM 2023 (Conference on Intelligent Computer Mathematics). This revised version adds two references
Subjects: History and Overview (math.HO)
[473]  arXiv:2305.14401 [pdf]
Title: Isomorphic pastings and the two possible structures for a pair of graphs having the same deck
Authors: Ramachandran S
Comments: 20 pages, 8 figures
Subjects: Combinatorics (math.CO)
[474]  arXiv:2305.14397 [pdf]
Title: Reviewing Evolution of Learning Functions and Semantic Information Measures for Understanding Deep Learning
Authors: Chenguang Lu
Comments: 34 pages, 9 figures. published in Entropy, 2023
Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)
[475]  arXiv:2305.14393 [pdf, ps, other]
Title: Finite Sums and Products involving Special Functions
Authors: Robert Reynolds
Subjects: Number Theory (math.NT)
[476]  arXiv:2305.14367 [pdf, ps, other]
Title: A series of Ramanujan, two-term dilogarithm identities and some Lucas series
Comments: 25 pages, no figures or tables
Subjects: Number Theory (math.NT)
[477]  arXiv:2305.14362 [pdf, ps, other]
Title: On the Eight Levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I
Authors: Moustafa Ibrahim
Comments: 33 pages, 4 tables, 3 new versions for the Lucas-Lehmer primality test, 4 new combinatorial identities. arXiv admin note: substantial text overlap with arXiv:2108.13792
Journal-ref: Arab Journal of Basic and Applied Sciences, 30:1, 267-284
Subjects: Number Theory (math.NT); Cryptography and Security (cs.CR); Combinatorics (math.CO)
[478]  arXiv:2305.14353 [pdf, ps, other]
Title: An inequality involving primes and the product of primes
Authors: Andrej Leško
Comments: 3 pages
Subjects: Number Theory (math.NT)
[479]  arXiv:2305.14350 [pdf, ps, other]
Title: Highly Composite Numbers
Comments: 11 pages, Master's thesis. 1 table
Subjects: Number Theory (math.NT)
[480]  arXiv:2305.14349 [pdf, ps, other]
Title: One example of singular representations of real numbers from the unit interval
Authors: Symon Serbenyuk
Comments: 7 pages
Subjects: Number Theory (math.NT)
[481]  arXiv:2305.15382 (cross-list from cs.LO) [pdf, ps, other]
Title: Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
Comments: 72 pages, The 29th International Conference on Automated Deduction (CADE-29), July 1-5, 2023, Rome, Italy
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[482]  arXiv:2305.15349 (cross-list from cs.LG) [pdf, other]
Title: Black-Box Variational Inference Converges
Comments: under review
Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Optimization and Control (math.OC); Computation (stat.CO); Machine Learning (stat.ML)
[483]  arXiv:2305.15319 (cross-list from quant-ph) [pdf, other]
Title: Defining a quantum active particle using non-Hermitian quantum walk
Comments: 12 pages, 12 figures
Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[484]  arXiv:2305.15249 (cross-list from cs.LG) [pdf, other]
Title: Decision-Aware Actor-Critic with Function Approximation and Theoretical Guarantees
Comments: 44 pages
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
[485]  arXiv:2305.15220 (cross-list from cs.NE) [pdf, other]
Title: Selection for short-term empowerment accelerates the evolution of homeostatic neural cellular automata
Comments: To be published in the Proceedings of the Genetic and Evolutionary Computation Conference 2023 (GECCO'23), 8 pages, 9 figures
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Information Theory (cs.IT)
[486]  arXiv:2305.15196 (cross-list from cs.LG) [pdf, other]
Title: Feature-aligned N-BEATS with Sinkhorn divergence
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Probability (math.PR)
[487]  arXiv:2305.15172 (cross-list from eess.SY) [pdf, other]
Title: Distributed outer approximation of the intersection of ellipsoids
Comments: This is the accepted version of the manuscript: "Distributed outer approximation of the intersection of ellipsoids," Rodrigo Aldana-Lopez, Eduardo Sebastian, Rosario Aragues, Eduardo Montijano and Carlos Sagues, in IEEE Control Systems Letters, 2023, DOI: 10.1109/LCSYS.2023.3280259
Subjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA); Optimization and Control (math.OC)
[488]  arXiv:2305.15157 (cross-list from cs.LG) [pdf, other]
Title: Towards More Suitable Personalization in Federated Learning via Decentralized Partial Model Training
Comments: 26 pages
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)
[489]  arXiv:2305.15155 (cross-list from cs.LG) [pdf, other]
Title: Momentum Provably Improves Error Feedback!
Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Optimization and Control (math.OC)
[490]  arXiv:2305.15027 (cross-list from stat.ML) [pdf, other]
Title: A Rigorous Link between Deep Ensembles and (Variational) Bayesian Methods
Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Statistics Theory (math.ST); Methodology (stat.ME)
[491]  arXiv:2305.14922 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Finite reservoirs and irreversibility corrections to Hamiltonian systems statistics
Subjects: Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[492]  arXiv:2305.14883 (cross-list from quant-ph) [pdf, other]
Title: Quantum cyclic redundancy check codes
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[493]  arXiv:2305.14816 (cross-list from cs.LG) [pdf, ps, other]
Title: Provable Offline Reinforcement Learning with Human Feedback
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
[494]  arXiv:2305.14689 (cross-list from stat.ML) [pdf, other]
Title: Under-Parameterized Double Descent for Ridge Regularized Least Squares Denoising of Data on a Line
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
[495]  arXiv:2305.14607 (cross-list from eess.SY) [pdf, other]
Title: An Equivalent Circuit Approach to Distributed Optimization
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[496]  arXiv:2305.14604 (cross-list from q-fin.MF) [pdf, other]
Title: Automated Market Making and Arbitrage Profits in the Presence of Fees
Comments: 27 pages
Subjects: Mathematical Finance (q-fin.MF); Optimization and Control (math.OC); Portfolio Management (q-fin.PM); Pricing of Securities (q-fin.PR); Trading and Market Microstructure (q-fin.TR)
[ total of 985 entries: 1-25 | ... | 397-421 | 422-446 | 447-471 | 472-496 | 497-521 | 522-546 | 547-571 | ... | 972-985 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2305, contact, help  (Access key information)