Copertina

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dvorak, Martin, Figueroa-Reid, Tristan, Hamadani, Rida, Hwang, Byung-Hak, Karunus, Evgenia, Kolmogorov, Vladimir, Meiburg, Alexander, Nelson, Alexander, Nelson, Peter, Sandey, Mark, Sergeev, Ivan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Combinatorics Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem
di: Sergeev, Ivan, et al.
Pubblicazione: (2026)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
di: Dvorak, Martin
Pubblicazione: (2026)

Generalized minimum 0-extension problem and discrete convexity
di: Dvorak, Martin, et al.
Pubblicazione: (2021)

Duality theory in linear optimization and its extensions -- formally verified
di: Dvorak, Martin, et al.
Pubblicazione: (2024)

Chromatic quasisymmetric functions and noncommutative $P$-symmetric functions
di: Hwang, Byung-Hak
Pubblicazione: (2022)

Bounding the Graph Capacity with Quantum Mechanics and Finite Automata
di: Meiburg, Alexander
Pubblicazione: (2024)

Closure Properties of General Grammars -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2023)

A computational study of Gomory-Hu construction tree algorithms
di: Kolmogorov, Vladimir
Pubblicazione: (2022)

A simpler and parallelizable $O(\sqrt{\log n})$-approximation algorithm for Sparsest Cut
di: Kolmogorov, Vladimir
Pubblicazione: (2023)

OrderedCuts: A new approach for computing Gomory-Hu tree
di: Kolmogorov, Vladimir
Pubblicazione: (2022)

List Chromatic Number of Finitary Matroids: A Generalization of Seymour's Result
di: Csernák, Tamás
Pubblicazione: (2022)

An Approximate Generalization of the Okamura-Seymour Theorem
di: Kumar, Nikhil
Pubblicazione: (2022)

A sign-reversing involution for the antipode of Schur functions
di: Cho, Younggwang, et al.
Pubblicazione: (2026)

Combinatorics of irreducible characters for Lie superalgebra $\frak{gl}(m,n)$
di: Sergeev, Alexander
Pubblicazione: (2024)

Modularity, Extensions and Connectivity in Infinite Matroids
di: Ehatamm, Mattias, et al.
Pubblicazione: (2026)

Faster algorithms for packing forests in graphs and related problems
di: Arkhipov, Pavel, et al.
Pubblicazione: (2024)

Greedy matroid base packings with applications to dynamic graph density and orientations
di: Arkhipov, Pavel, et al.
Pubblicazione: (2025)

Bounded indegree $k$-forests problem and a faster algorithm for directed graph augmentation
di: Arkhipov, Pavel, et al.
Pubblicazione: (2024)

Blossom VI: A Practical Minimum Weight Perfect Matching Algorithm
di: Arkhipov, Pavel, et al.
Pubblicazione: (2026)

A Formalization of the Generalized Quantum Stein's Lemma in Lean
di: Meiburg, Alex, et al.
Pubblicazione: (2025)

CREFT: Sequential Multi-Agent LLM for Character Relation Extraction
di: Chun, Ye Eun, et al.
Pubblicazione: (2025)

Optimizing Multimodal Language Models through Attention-based Interpretability
di: Sergeev, Alexander, et al.
Pubblicazione: (2025)

Molecular dyad exhibiting strong multi‐resonance blue fluorescence
di: Byung Hak Jhun, et al.
Pubblicazione: (2024)

NexusSum: Hierarchical LLM Agents for Long-Form Narrative Summarization
di: Kim, Hyuntak, et al.
Pubblicazione: (2025)

A Fast Approximation Algorithm for the Minimum Balanced Vertex Separator in a Graph
di: Kolmogorov, Vladimir, et al.
Pubblicazione: (2026)

Simple parallel estimation of the partition ratio for Gibbs distributions
di: Harris, David G., et al.
Pubblicazione: (2025)

Parameter estimation for Gibbs distributions
di: Harris, David G., et al.
Pubblicazione: (2020)

Agent-as-Judge for Factual Summarization of Long Narratives
di: Jeong, Yeonseok, et al.
Pubblicazione: (2025)

A Formal Analysis of Algorithms for Matroids and Greedoids
di: Abdulaziz, Mohammad, et al.
Pubblicazione: (2025)

Short Rainbow Circuits in Regular Matroids
di: McGuinness, Sean
Pubblicazione: (2026)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
di: Wang, Zili, et al.
Pubblicazione: (2025)

O'Neill's Theorem for Games
di: Govindan, Srihari, et al.
Pubblicazione: (2023)

DETECCIÓN, MANEJO Y PERCEPCIÓN MATERNA DE LA FIEBRE EN NIÑOS CALI - COLOMBIA
di: Fabio Nelson Figueroa
Pubblicazione: (2012)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2024)

Oriented Matroids and Combinatorial Neural Codes
di: Kunin, Alexander, et al.
Pubblicazione: (2020)

Certifying solutions of degenerate semidefinite programs
di: Kolmogorov, Vladimir, et al.
Pubblicazione: (2024)

Arithmetic Circuits and Neural Networks for Regular Matroids
di: Hertrich, Christoph, et al.
Pubblicazione: (2025)

Lessons from Formally Verified Deployed Software Systems (Extended version)
di: Huang, Li, et al.
Pubblicazione: (2023)

When Does Supervised Training Pay Off? The Hidden Economics of Object Detection in the Era of Vision-Language Models
di: Al-Hamadani, Samer
Pubblicazione: (2025)

Intelligent Healthcare Imaging Platform: A VLM-Based Framework for Automated Medical Image Analysis and Clinical Report Generation
di: Al-Hamadani, Samer
Pubblicazione: (2025)