🧩 Complexity Theory - danielfox · Scour

Probabilistically Checking Quantum Proofs, with Interaction

✅Formal Verification Academic

Efficiently Restructuring Sovereign Debt via Arctic Auctions with Convex Costs

🔬Robert m. Hazen Academic

Polynomial-time satisfiability for a special case of Positive$\wedge$Negative

🤖Automata Theory Academic

N-Player Binary Games with Unidirectional Dependencies: Cycle Robustness and Induced Indifference

🔬Robert m. Hazen Academic

Temporal matching in trees

🔬Robert m. Hazen Academic

Local Search on Vertex Coloring for Bipartite Graphs

🔺Computational Geometry Academic

Complexity and Algorithms for Unary Translocation Distance

🔬Robert m. Hazen Academic

Menu Selection: A Computational Approach to Minimizing Food Waste

🔺Computational Geometry Academic

Hybrid Metaheuristic Combining the Dragonfly Algorithm and Tabu Search for the Traveling Salesman Problem

🧬Computational Biology Academic

Validation of graph databases against PG-Schema

✅Formal Verification Academic

Biclique decompositions from Welzl orders

🔬Robert m. Hazen Academic

Non-obvious Manipulability in the Additively Separable Group Activity Selection Problem

🔬Robert m. Hazen Academic

Constant Approximation for Hylland--Zeckhauser Equilibria

🔺Computational Geometry Academic

Generalized binary utility functions and fair allocations

📊Information Theory Academic

Aumann-SHAP: The Geometry of Counterfactual Interaction Explanations in Machine Learning

🧠Machine learning Academic

Combinatorial and analytic aspects of independence polynomials of zero divisor graphs

🤖Automata Theory Academic

Finite Certificates for In-Context Determinacy and a Threshold Theory of Emergence in Language Models

🤖Automata Theory Academic

Token Rankings are Unforgeable Language Model Signatures

🤖Automata Theory Academic

On the Hardness of Optimal Motion on Trees

🔬Robert m. Hazen Academic

End-to-End Subgraph Detection with GraphDETR

🧬Computational Biology Academic

Sign up or log in to see more results

Log in to enable infinite scrolling