Computer Science catalogue
The Top Open Problems editorial order restricted to Computer Science, followed by cross-listed economics entries. Existing relative order is retained, with provisional placements for new game-learning questions; most entries have no individual difficulty assessment. About rankings
Browse by subject
Search this collection by problem ID, title, classification, subject, provider, or model.
Search results
No matching problems. Try another search or clear a filter.
916 records · Search and filter
- CS-501 Two-sided novelty certificates for sparse binomial output
- CS-502 A scale-normalized robustness criterion for algebraic design fans
- CS-503 Base-encoded monomial-curve designs
- CS-504 Evaluation-rank explanation for the value of knockout time series
- CS-505 Rank-profile compression for finite-field time-series models
- CS-506 Exact sketches versus genuine dynamical reduction
- CS-507 Specialized algebra kernels and certified interoperability
- CS-508 Faithful interchange between computational algebra systems
- CS-509 A certificate-first algebraic layer for R
- CS-510 Four distinct reductions in the American min-put benchmark
- CS-511 Degree bounds and the dependence on the modulus
- CS-512 Deformation transport, Fesenko transforms, and a Riemann--Roch size barrier
- CS-513 A format-sensitive genus barrier for Schoof-Pila
- CS-514 Fields, orbits, and explicit torsion points
- CS-515 Length-faithful algebraic and group-theoretic parameter screens for SL_n(F_p) hashing
- CS-516 Semantic leakage barriers for learned group cryptanalysis
- CS-517 A reproducible challenge-instance profile
- CS-518 A capability-sound kernel for group-based protocol implementations
- CS-519 An epimorphism audit for non-Hopfian cryptography
- CS-520 A fiber--leakage--arity audit for group-theoretic cryptographic building blocks
- CS-521 Dominating sets as marked centralizer covers in graph groups
- CS-522 Correlation-gap certificates for noisy hidden shift
- CS-523 Torsion-image leakage and rigidity in SIDH
- CS-524 Explicit near-minimal units from the golden-ratio radical
- CS-525 A rights-portability-cost rule for choosing educational assessment tools
- CS-526 A deployment gate for open mathematical assessment
- CS-527 A motivation-first deployment gate for educational technology
- CS-528 An estimand-anchor-policy contract for educational data
- CS-529 A version-aware evidence pipeline for input during educational-technology development
- CS-530 Separating feedback content from the opportunity to revise
- CS-531 Behavioral transfer and cycle-consistent course crosswalks
- CS-532 From interaction traces to defensible collaboration evidence
- CS-533 What an authenticity check can and cannot certify
- CS-534 A role-specific causal evaluation contract for STACK
- CS-535 A version-aware design for longitudinal studies of open assessment systems
- CS-536 Blueprint alignment and exam-weight sensitivity
- CS-537 A format-replacement-communication audit for short online assessment
- CS-538 Relating questions to student goals without pretending to know the learner
- CS-539 A distance-without-displacement audit
- CS-540 A Coverage--Contract--Cut certificate for educational tool suites
- CS-541 Decision-safe STACK reports and a governed user community
- CS-542 A versioned closed-loop audit for STACK
- CS-543 A trace-validity obstruction and engagement claim certificate
- CS-544 A testable training-support-renewal framework for online instructional tools
- CS-545 A barrier-lattice audit for lecturer adoption of online assessment
- CS-546 Rank-safe credit for collaboration inside a contest
- CS-547 Separating exposure from retained mastery under a curriculum time budget
- CS-548 An access-validity workflow certificate for online assessment
- CS-549 A dependence-robust certificate for informal learning
- CS-550 A transport-and-adaptation certificate for structured pedagogy