🧠 computer science - scour · Scour

Causally Evaluating the Learnability of Formal Language Tasks

🤖LLM Academic

Abduction Prover in Isabelle/HOL

🏗️software engineering Academic

MechLens: Late Crystallization of Factual Knowledge Explains Intervention Effectiveness in Language Models

🧠AI Models Academic

Earliest query answering over streamed trees

🔄Data Pipelines Academic

Dimensionality Reduction for Cyberattack Classification: A Comparative Evaluation of PCA and Linear Predictive Coding

🔐Cybersecurity Academic

A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking

⚛️Quantum Computing Academic

Hardness as an Information Constraint: A Unifying Meta-Complexity Assumption

⚛️Quantum Computing Academic

Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality

🤖LLMs Academic

Quantum Kravchuk Transform using $\mathfrak{su}(2)$ fast-forwarding

⚛️Quantum Computing Academic

Ultra-Fast Neural Video Compression

🤖AI Academic

SMI: Efficient Self-Supervised Learning via Mutual-Information-Inspired Dependency Optimization

🤖AI Academic

RhymeFlow: Training-Free Acceleration for Video Generation with Asynchronous Denoising Flow Scheduling

🤖Godot Academic

REFINE: Super-efficient 3D Gaussian Splatting Pruning via Rendering-Free Primitive Importance

🤖AI Academic

Probabilistically Checking Quantum Proofs, with Interaction

⚛️Quantum Computing Academic

Combinatorial and analytic aspects of independence polynomials of zero divisor graphs

⚛️Quantum Computing Academic

GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation

🔵golang Academic

Knockoffs-based False Discovery Rate Control and Simplification for Deep Neural Networks

🤖AI Academic

LoomVideo: Unifying Multimodal Inputs into Video Generation and Editing

🤖LLM Academic

Bit-counting complexity classes

⚛️Quantum Computing Academic

Detecting Large Quasi-cliques on Dynamic Networks

🤖LLM Academic

Sign up or log in to see more results

Log in to enable infinite scrolling