Mixsatgen: Learning graph mixing for sat instance generation
The Boolean satisfiability problem (SAT) stands as a canonical NP-complete task. In
particular, the scarcity of real-world SAT instances and their usefulness for tuning SAT …
particular, the scarcity of real-world SAT instances and their usefulness for tuning SAT …
L2P-MIP: Learning to presolve for mixed integer programming
Modern solvers for solving mixed integer programming (MIP) often rely on the branch-and-
bound (B&B) algorithm which could be of high time complexity, and presolving techniques …
bound (B&B) algorithm which could be of high time complexity, and presolving techniques …
Open-Set Semantic Uncertainty Aware Metric-Semantic Graph Matching
K Singh, JJ Leonard - arXiv preprint arXiv:2409.11555, 2024 - arxiv.org
Underwater object-level mapping requires incorporating visual foundation models to handle
the uncommon and often previously unseen object classes encountered in marine …
the uncommon and often previously unseen object classes encountered in marine …
Revisiting Lesion Tracking in 3D Total Body Photography
WL Huang, M Xue, Z Liu, D Tashayyod, J Kang… - arXiv preprint arXiv …, 2024 - arxiv.org
Melanoma is the most deadly form of skin cancer. Tracking the evolution of nevi and
detecting new lesions across the body is essential for the early detection of melanoma …
detecting new lesions across the body is essential for the early detection of melanoma …
Multimodal Alignment of Histopathological Images Using Cell Segmentation and Point Set Matching for Integrative Cancer Analysis
Histopathological imaging is vital for cancer research and clinical practice, with multiplexed
Immunofluorescence (MxIF) and Hematoxylin and Eosin (H&E) providing complementary …
Immunofluorescence (MxIF) and Hematoxylin and Eosin (H&E) providing complementary …
Towards H&E Referenced Multiplex Immunofluorescence Interpretation: Spatial Co-localization, Cell Feature Validation, and Virtual H&E Generation
Abstract Multiplexed Immunofluorescence (MxIF) enables detailed immune cell
phenotyping, providing critical insights into cell behavior within the tumor immune …
phenotyping, providing critical insights into cell behavior within the tumor immune …
Accurate and Efficient SBOM Generation for Software Supply Chain Security
S Yu - 2024 - search.proquest.com
Modern software development increasingly relies on software supply chains, with third-party
libraries constituting a significant portion of many projects. However, the complexity of …
libraries constituting a significant portion of many projects. However, the complexity of …
Any2Graph: Deep End-To-End Supervised Graph Prediction With An Optimal Transport Loss
We propose Any2graph, a generic framework for end-to-end Supervised Graph Prediction
(SGP) ie a deep learning model that predicts an entire graph for any kind of input. The …
(SGP) ie a deep learning model that predicts an entire graph for any kind of input. The …
A framework for differentiable Supervised Graph Prediction
We introduce a general framework to train a deep neural network to output a graph from a
variety of input modalities. The framework is built using a novel Optimal Transport loss that …
variety of input modalities. The framework is built using a novel Optimal Transport loss that …