| 401 |
Probabilistic Couplings for Probabilistic Reasoning
Justin Hsu
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 402 |
Java & Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 403 |
Hidden Hamiltonian Cycle Recovery via Linear Programming
Vivek Bagaria, Jian Ding, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
24 |
8 years ago |
| 404 |
Solving Horn Clauses on Inductive Data Types Without Induction
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 405 |
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
|
🔮
The Ethereal
|
cs.LO
|
24 |
7 years ago |
| 406 |
Coaxioms: flexible coinductive definitions by inference systems
Francesco Dagnino
|
🔮
The Ethereal
|
cs.LO
|
24 |
7 years ago |
| 407 |
A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus
Yannick Forster, Fabian Kunze
|
🔮
The Ethereal
|
cs.LO
|
24 |
6 years ago |
| 408 |
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
|
🔮
The Ethereal
|
cs.LO
|
24 |
6 years ago |
| 409 |
A moment ratio bound for polynomials and some extremal properties of Krawchouk polynomials and Hamming spheres
Naomi Kirshner, Alex Samorodnitsky
|
🔮
The Ethereal
|
math.CO
|
24 |
6 years ago |
| 410 |
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
Carol Mak, C. -H. Luke Ong, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
6 years ago |
| 411 |
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
6 years ago |
| 412 |
When Votes Change and Committees Should (Not)
Robert Bredereck, Till Fluschnik, Andrzej Kaczmarczyk
|
🔮
The Ethereal
|
cs.CC
|
24 |
5 years ago |
| 413 |
Conformance Checking of Mixed-paradigm Process Models
Boudewijn van Dongen, Johannes De Smedt, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
5 years ago |
| 414 |
Blocking sets, minimal codes and trifferent codes
Anurag Bishnoi, Jozefien D'haeseleer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
24 |
3 years ago |
| 415 |
Reassembling trees for the traveling salesman
Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
23 |
11 years ago |
| 416 |
A new property of the Lovász number and duality relations between graph parameters
Antonio Acín, Runyao Duan, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
23 |
10 years ago |
| 417 |
Model Checking Embedded C Software using k-Induction and Invariants (extended version)
Herbert Rocha, Hussama Ismail, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
10 years ago |
| 418 |
Parallel algorithms and concentration bounds for the Lovasz Local Lemma via witness DAGs
Bernhard Haeupler, David G. Harris
|
🔮
The Ethereal
|
cs.DM
|
23 |
10 years ago |
| 419 |
Abstraction/Representation Theory for Heterotic Physical Computing
Dominic C. Horsman
|
🔮
The Ethereal
|
cs.LO
|
23 |
10 years ago |
| 420 |
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation
Jan Friso Groote, Anton Wijs
|
🔮
The Ethereal
|
cs.LO
|
23 |
10 years ago |
| 421 |
Separating hash families: A Johnson-type bound and new constructions
Chong Shangguan, Gennian Ge
|
🔮
The Ethereal
|
cs.DM
|
23 |
10 years ago |
| 422 |
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Raphaël Berthon, Mickael Randour, Jean-François Raskin
|
🔮
The Ethereal
|
cs.LO
|
23 |
9 years ago |
| 423 |
First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 424 |
Optimal rate list decoding over bounded alphabets using algebraic-geometric codes
Venkatesan Guruswami, Chaoping Xing
|
🔮
The Ethereal
|
cs.CC
|
23 |
8 years ago |
| 425 |
Erdős-Pósa property of chordless cycles and its applications
Eun Jung Kim, O-joung Kwon
|
🔮
The Ethereal
|
math.CO
|
23 |
8 years ago |
| 426 |
Lower bounds over Boolean inputs for deep neural networks with ReLU gates
Anirbit Mukherjee, Amitabh Basu
|
🔮
The Ethereal
|
cs.CC
|
23 |
8 years ago |
| 427 |
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Mathys Rennela, Sam Staton
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 428 |
Functorial Semantics for Relational Theories
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 429 |
Majorization and Rényi Entropy Inequalities via Sperner Theory
Mokshay Madiman, Liyao Wang, Jae Oh Woo
|
🔮
The Ethereal
|
math.CO
|
23 |
8 years ago |
| 430 |
Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 431 |
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Kuldeep S. Meel
|
🔮
The Ethereal
|
cs.LO
|
23 |
7 years ago |
| 432 |
Semantic Integration in the Information Flow Framework
Robert E. Kent
|
🔮
The Ethereal
|
cs.LO
|
23 |
7 years ago |
| 433 |
Cluster Editing with Vertex Splitting
Faisal N. Abu-Khzam, Emmanuel Arrighi, ... (+8 more)
|
🔮
The Ethereal
|
cs.CC
|
23 |
7 years ago |
| 434 |
How fast can we reach a target vertex in stochastic temporal graphs?
Eleni C. Akrida, George B. Mertzios, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
23 |
7 years ago |
| 435 |
Neural network identifiability for a family of sigmoidal nonlinearities
Verner Vlačić, Helmut Bölcskei
|
🔮
The Ethereal
|
math.CO
|
23 |
6 years ago |
| 436 |
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Romain Péchoux, Simon Perdrix, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
6 years ago |
| 437 |
Open Diagrams via Coend Calculus
Mario Román
|
🔮
The Ethereal
|
math.CT
|
23 |
6 years ago |
| 438 |
Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
5 years ago |
| 439 |
Graph Tikhonov Regularization and Interpolation via Random Spanning Forests
Yusuf Pilavci, Pierre-Olivier Amblard, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
23 |
5 years ago |
| 440 |
Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation
Amol Aggarwal, Josh Alman
|
🔮
The Ethereal
|
cs.CC
|
23 |
3 years ago |
| 441 |
Prophecy Variables for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
|
🔮
The Ethereal
|
cs.LO
|
23 |
3 years ago |
| 442 |
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Upamanyu Sharma, Ralf Jung, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
2 years ago |
| 443 |
A natural counting of lambda terms
Maciej Bendkowski, Katarzyna Grygiel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
10 years ago |
| 444 |
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
10 years ago |
| 445 |
Symmetries of matrix multiplication algorithms. I
V. P. Burichenko
|
🔮
The Ethereal
|
cs.CC
|
22 |
10 years ago |
| 446 |
Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT
Bart M. P. Jansen, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
22 |
10 years ago |
| 447 |
Motivating Time-Inconsistent Agents: A Computational Approach
Susanne Albers, Dennis Kraft
|
🔮
The Ethereal
|
cs.CC
|
22 |
10 years ago |
| 448 |
Concurrent Data Structures Linked in Time
Germán Andrés Delbianco, Ilya Sergey, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
9 years ago |
| 449 |
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston, Nikos Gorogiannis, Max Kanovich
|
🔮
The Ethereal
|
cs.LO
|
22 |
9 years ago |
| 450 |
Accounting for the Role of Long Walks on Networks via a New Matrix Function
Ernesto Estrada, Grant Silver
|
🔮
The Ethereal
|
math.CO
|
22 |
9 years ago |