Search Results

Refine Results
  1. Cover Image

    Set-like operations on propositional logic programs

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    A formulation of D-institution using functor categories

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    The Algebra of Iterative Constructions

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Neural networks as fuzzy logic formulas

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    A Closed-Form Adaptive-Landmark Kernel for Certified Point-Cloud and Graph Classification

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Safety and accuracy follow different scaling laws in clinical large language models

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Large-Scale High-Quality 3D Gaussian Head Reconstruction from Multi-View Captures

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Conditional Diffusion Sampling

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Enhanced 3D Brain Tumor Segmentation Using Assorted Precision Training

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Stabilizing Sharpness-Aware Minimization Through A Simple Renormalization Strategy

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Flow Sampling: Learning to Sample from Unnormalized Densities via Denoising Conditional Processes

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Label-Efficient School Detection from Aerial Imagery via Weakly Supervised Pretraining and Fine-Tuning

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Pretrained Model Representations as Acquisition Signals for Active Learning of MLIPs

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Transformers with Selective Access to Early Representations

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Integrating Feature Correlation in Differential Privacy with Applications in DP-ERM

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    TabSurv: Adapting Modern Tabular Neural Networks to Survival Analysis

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    PHALAR: Phasors for Learned Musical Audio Representations

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Optimal Posterior Sampling for Policy Identification in Tabular Markov Decision Processes

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Exact ReLU realization of tensor-product refinement iterates

    Published in ArXiv cs.LG Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: