Latest Research in Machine Learning

Top Research Topics in Machine Learning

• Machine Learning — 9 papers
• Formal Languages and Automata Theory — 9 papers
• Data Structures and Algorithms — 8 papers
• Logic, programming, and type systems — 6 papers
• Computational Complexity — 4 papers
• Computer Science and Game Theory — 3 papers
• Formal Methods in Verification — 3 papers
• Computability, Logic, AI Algorithms — 3 papers
• Scientific Computing and Data Management — 2 papers
• Distributed systems and fault tolerance — 2 papers

Highest-Cited Papers

1. A Separation Between Distribution-Free SQ Learning and Dimension Complexity
2. A sampling Lovász Local Lemma
3. Causal Proof Defect Engine
4. New Semantic Unit Operations: A Graph-Theoretical Metamodel for Sequential Fallback and Spatial Branching in Valuation Networks.
5. Causal Proof Defect Engine
6. Accurate Trace Estimation with Fewer Random Bits via Recursive TensorSketch
7. The Local-to-Global AD-k Conjecture is Resolved
8. An Automata-Based Approach to Games with $ω$-Automatic Preferences
9. Pseudometric-Weighted Correlation Clustering via Spectral Preclustering
10. Fuzzy subhyperspaces generated by admissible mappings
11. Learning CNF Formulas from Uniform Random Solutions: Near-Tight Sample Complexity for Valiant's Algorithm
12. The Marked Edge Walk: A Novel MCMC Algorithm for Sampling of Graph Partitions
13. Query-Oblivious Coresets for Softmax Attention: Improved Bounds and Efficient Constructions
14. Record Entropy and Noncomputability: Monotone Semantic Complexity under Diagonal Capability Paper 42 of the NEMS Suite
15. Record Entropy and Noncomputability: Monotone Semantic Complexity under Diagonal Capability Paper 42 of the NEMS Suite
16. Oblivious Self-Distance Symmetric Rendezvous on the Integer Line
17. Gap Entropy and Almost Instance-Wise Optimal Best-Arm Identification
18. Perturbation equivalence in labelled Markov chains
19. Meta-Architectures for AI-Native Mathematical Research
20. NEW(S) 偏元数学体系总论:动作留差公理与退化包容的 Lean 4 形式化验证(Prenary Mathematics System Overview: Lean 4 Formal Verification of the Action Residual Axiom and Degeneracy Inclusion)