cs.CC

Papers

• A Passive Similarity based CNN Filter Pruning for Efficient Acoustic Scene Classification (2022)
  Arshdeep Singh et al.
  —
• Optimization of DNN-based speaker verification model through efficient quantization technique (2024)
  Yeona Hong et al.
  —
• Neural Networks and (Virtual) Extended Formulations (2026)
  Christoph Hertrich et al.
  —
• Epistemic Skills: Reasoning about Knowledge and Oblivion (2026)
  Xiaolong Liang et al.
  —
• Ineffectiveness for Search and Undecidability of PCSP Meta-Problems (2026)
  Alberto Larrauri
  —
• On the Intrinsic Limits of Transformer Image Embeddings in Non-Solvable Spatial Reasoning (2026)
  Siyi Lyu et al.
  —
• Learning Decision-Sufficient Representations for Linear Optimization (2026)
  Yuhan Ye et al.
  —
• Parameterized Complexity of Stationarity Testing for Piecewise-Affine Functions and Shallow CNN Losses (2026)
  Yuhan Ye
  —
• The Deterministic Horizon: Impossibility Results as Design Specifications for Trustworthy AI Systems (2026)
  Dongxin Guo
  —
• A computational phase transition for learning-to-sample from Ising models (2026)
  Andrej Risteski et al.
  —
• 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation (2026)
  Andrea Cuteri et al.
  —
• The Computational Boundary of Inference: Capability Internalization, Training, and the Turing Jump (2026)
  Chien-Ping Lu
  —
• Mathematical Modelling of Ethical AI Use in Higher Education: A Coordination Game Framework for Future-Facing Learning (2026)
  Ndidi Bianca Ogbo et al.
  —
• The Complexity of Verifying Feedforward Neural Networks in Quantised Settings (2026)
  Eric Alsmann et al.
  —