Computer Science

918 records · Search and filter

• CS-801 Dimension-Free Sum-of-Squares Certificates for Two Quadratic Constraints Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-802 Duplicate Dimension-Free Separation-Exponent Problem Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-803 Quotients and Presentations of L-Convex Objects Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-804 Improvements to the Signed Heat Method Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-805 Ensemble Necessity in Data Assimilation Partially solved · LLM status: Open · 1 attempt · 2026-10-11
• CS-806 Joint Design of Bridging Schedules and Transport Maps Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-807 Efficient Optimization of Neural-Network Weights Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-808 Reported Quantum Search for Binary Fusion Data Open · LLM status: Open · 1 attempt · 2026-10-12
• CS-809 Griesmer Bounds and Solomon–Stiffler Constructions in Other Metrics Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-810 Iterative Quantum LDPC Constructions from Weaker Seeds Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-811 Formal Verification of AI-Generated Mathematical Proofs Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-812 Generative Sphere Packing across Dimensions and Periodic Geometries Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-813 Agentic and Neuro-Symbolic AI for Mathematical Research Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-814 Scaling Paradigms for Lean Autoformalization Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-815 Causal-Attention Retrieval Motivation Partially solved · LLM status: Open · 1 attempt · 2026-10-11
• CS-816 Convergence of Accelerated Sampling on Probability Spaces Partially solved · LLM status: Open · 1 attempt · 2026-10-11
• CS-817 Complexity and Generalization in Overparameterized Learning Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-818 Unified Mathematical Theory of Modern Learning Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-819 Curricula for Algorithmic Reasoning in Sequence Models Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-820 Inference and Training Effects of the Softmax Bottleneck Partially solved · LLM status: Open · 1 attempt · 2026-10-11
• CS-821 Extremal Top-$m$ Representability of Output Projection Matrices Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-822 Human Alignment of Artificial Intelligence Systems Partially solved · LLM status: Open · 1 attempt · 2026-10-11
• CS-823 Duplicate Human-Alignment Question Partially solved · LLM status: Open · 1 attempt · 2026-10-11
• CS-824 New Theoretical Principles for Foundation Models Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-825 Duplicate Unified-Theory Question Open · LLM status: Open · 1 attempt · 2026-10-11
• CS-826 Polynomial-time solution of rational P-matrix linear complementarity LLM status: Open · 2 attempts · JEL C61 — Optimization Techniques - Programming Models - Dynamic Analysis · 2026-10-09
• CS-827 Realistic equilibrium adjustment LLM status: Open · 1 attempt · JEL C62 — Existence and Stability Conditions of Equilibrium · 2026-10-09
• CS-828 Scalable heterogeneous-agent macroeconomics LLM status: Partially solved · 3 attempts · JEL C63 — Computational Techniques - Simulation Modeling · 2026-10-09
• CS-829 The computational cost of minimax-optimal causal estimation LLM status: Open · 2 attempts · JEL C63 — Computational Techniques - Simulation Modeling · 2026-10-09
• CS-830 Exact complexity of Hylland--Zeckhauser allocation LLM status: Open · 1 attempt · JEL C63 — Computational Techniques - Simulation Modeling · 2026-10-09
• CS-831 Exact complexity of an Arrow--Debreu equilibrium LLM status: Open · 1 attempt · JEL C63 — Computational Techniques - Simulation Modeling · 2026-10-09
• CS-832 A combinatorial polynomial-time nucleolus algorithm for matching games LLM status: Open · 1 attempt · JEL C71 — Cooperative Games · 2026-10-09
• CS-833 A polynomial-time approximation scheme for bimatrix Nash equilibrium LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-834 Computational complexity of optimin in finite games LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-835 High-precision information-value-free coarse correlated equilibrium LLM status: Open · 2 attempts · JEL C72 — Noncooperative Games · 2026-10-09
• CS-836 Exact normal-form correlated equilibrium from an extensive-form tree LLM status: Open · 2 attempts · JEL C72 — Noncooperative Games · 2026-10-09
• CS-837 Expected-polynomial exact Nash computation for random rational games LLM status: Solved · 2 attempts · JEL C72 — Noncooperative Games · 2026-10-09
• CS-838 Extending descent-and-mixing methods to a fixed number of players LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-839 Strong approximation of Nash equilibria in concise potential games LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-840 Exact Nash complexity in concisely represented potential games LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-841 Improving search-and-mix approximation guarantees LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-842 Statistical confidence in game equilibria LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-843 Reduced-game validity LLM status: Open · 2 attempts · JEL C72 — Noncooperative Games · 2026-10-09
• CS-844 Critical Bernoulli densities for expected-polynomial Nash computation LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-845 Average-case analysis of specified search-and-mix algorithms LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-846 Structural classes with polynomial-time exact bimatrix Nash computation LLM status: Open · 1 attempt · JEL C72 — Noncooperative Games · 2026-10-09
• CS-847 Exact Nash computation in extensive-form games: resolved classification LLM status: Solved · 2 attempts · JEL C72 — Noncooperative Games · 2026-10-09
• CS-848 Threshold Nash equilibrium in extensive form: resolved classification LLM status: Solved · 2 attempts · JEL C72 — Noncooperative Games · 2026-10-09
• CS-849 Characterizing universal convergence of fictitious play LLM status: Partially solved · 3 attempts · JEL C73 — Stochastic and Dynamic Games - Evolutionary Games - Repeated Games · 2026-10-09
• CS-850 Payoff characterization of convergence for a fixed mirror-descent rule LLM status: Partially solved · 3 attempts · JEL C73 — Stochastic and Dynamic Games - Evolutionary Games - Repeated Games · 2026-10-09