| 2901 |
Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2902 |
Eliminating Majority Illusions
Foivos Fioravantes, Abhiruk Lahiri, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2903 |
Partial Incorrectness Logic
Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2904 |
Partial and Exact Recovery of a Random Hypergraph from its Graph Projection
Guy Bresler, Chenghao Guo, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2905 |
From descriptive to distributed
Jan Grebík, Zoltán Vidnyánszky
|
🔮
The Ethereal
|
math.LO
|
1 |
1 year ago |
| 2906 |
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
Kevin Batz, Joost-Pieter Katoen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2907 |
Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences
Jonathan Leake, Kasper Lindberg, Shayan Oveis Gharan
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2908 |
Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
Dario Stein
|
🔮
The Ethereal
|
math.CT
|
1 |
1 year ago |
| 2909 |
Substructural Parametricity
C. B. Aberlé, Chris Martens, Frank Pfenning
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2910 |
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
Kwing Hei Li, Alejandro Aguirre, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2911 |
Graph parameters that are coarsely equivalent to path-length
Feodor F. Dragan, Ekkehard Köhler
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2912 |
A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2913 |
Confluence of Conditional Rewriting Modulo
Salvador Lucas
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2914 |
On the twin-width of near-regular graphs
Irene Heinrich, Ferdinand Ihringer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2915 |
On Average Distance, Level-1 Fourier Weight, and Chang's Lemma
Lei Yu
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2916 |
Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
Alberto Larrauri
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2917 |
A Customized SAT-based Solver for Graph Coloring
Timo Brand, Daniel Faber, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2918 |
When is the partial map classifier a Sierpiński cone?
Leoni Pugh, Jonathan Sterling
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2919 |
Deterministic factorization of constant-depth algebraic circuits in subexponential time
Somnath Bhattacharjee, Mrinal Kumar, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2920 |
What is a monoid?
Paul Blain Levy, Morgan Rogers
|
🔮
The Ethereal
|
math.CT
|
1 |
1 year ago |
| 2921 |
Efficient Matching of Some Fundamental Regular Expressions with Backreferences
Taisei Nogami, Tachio Terauchi
|
🔮
The Ethereal
|
cs.FL
|
1 |
1 year ago |
| 2922 |
On constrained intersection representations of graphs and digraphs
Ferdinando Cicalese, Clément Dallard, Martin Milanič
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2923 |
Lower bounds on collective additive spanners
Derek G. Corneil, Feodor F. Dragan, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2924 |
Faithful universal graphs for minor-closed classes
Paul Bastide, Louis Esperet, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2925 |
On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness
Joshua A. Grochow, Dan Johnson, Michael Levet
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2926 |
The Metric Dimension of Sparse Random Graphs
Josep Díaz, Harrison Hartle, Cristopher Moore
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2927 |
An Intermediate Program Representation for Optimizing Stream-Based Languages
Jan Baumeister, Arthur Correnson, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2928 |
Maximum list $r$-colorable induced subgraphs in $kP_3$-free graphs
Esther Galby, Paloma T. Lima, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2929 |
The generalized trifference problem
Anurag Bishnoi, Bartłomiej Kielak, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2930 |
Reconfiguration of List Colourings
Stijn Cambie, Wouter Cames van Batenburg, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2931 |
A categorical and logical framework for iterated protocols
Eric Goubault, Bernardo Hummes Flores, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2932 |
Prefix-bounded matrices
Nóra A. Borsik, András Frank, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2933 |
A Graphical Interface for Category Theory Proofs in Coq
Luc Chabassier
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2934 |
Restricted Chase Termination: You Want More than Fairness
David Carral, Lukas Gerlach, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2935 |
A Formal Analysis of Algorithms for Matroids and Greedoids
Mohammad Abdulaziz, Thomas Ammer, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2936 |
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2937 |
Counting Small Induced Subgraphs: Scorpions Are Easy but Not Trivial
Radu Curticapean, Simon Döring, Daniel Neuen
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2938 |
Combinatorial $t$-Designs from Finite Abelian Groups and Their Applications to Elliptic Curve Codes
Hengfeng Liu, Chunming Tang, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2939 |
Identity Testing for Circuits with Exponentiation Gates
Jiatu Li, Mengdi Wu
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2940 |
Leakage-Resilient Extractors against Number-on-Forehead Protocols
Eshan Chattopadhyay, Jesse Goodman
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2941 |
Asymptotically Smaller Encodings for Graph Problems and Scheduling
Bernardo Subercaseaux
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2942 |
A Generic Construction of $q$-ary Near-MDS Codes Supporting 2-Designs with Lengths Beyond $q+1$
Hengfeng Liu, Chunming Tang, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2943 |
Linear rank-metric intersecting codes
Daniele Bartoli, Martino Borello, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
1 year ago |
| 2944 |
Combination generators with optimal cache utilization and communication free parallel execution
Xi He, Max. A. Little
|
🔮
The Ethereal
|
cs.DM
|
1 |
1 year ago |
| 2945 |
A Formal Refutation of the Blockchain Trilemma
Craig Wright
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2946 |
A Myhill-Nerode Type Characterization of 2detLIN Languages
Benedek Nagy
|
🔮
The Ethereal
|
cs.FL
|
1 |
1 year ago |
| 2947 |
Quantum Programming in Polylogarithmic Time
Florent Ferrari, Emmanuel Hainry, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 2948 |
Certificate-Sensitive Subset Sum: Realizing Instance Complexity
Jesus Salas
|
🔮
The Ethereal
|
cs.CC
|
1 |
1 year ago |
| 2949 |
Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
Varun Bharti, Shashwat Jha, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
11 months ago |
| 2950 |
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
11 months ago |