paper-with-me

Papers

A Unified Differentiable Boolean Operator with Fuzzy Logic

2024-07-15 · Hsueh-Ti Derek Liu, Maneesh Agrawala, Cem Yuksel, Tim Omernick, Vinith Misra, Stefano Corazza, Morgan McGuire, Victor Zordan

This paper presents a unified differentiable boolean operator for implicit solid shape modeling using Constructive Solid Geometry (CSG). Traditional CSG relies on min, max operators to perform boolean operations on implicit shapes. But because these boolean operators are discontinuous and discrete in the choice of operations, this makes optimization over the CSG representation challenging. Drawing inspiration from fuzzy logic, we present a unified boolean operator that outputs a continuous function and is differentiable with respect to operator types. This enables optimization of both the primitives and the boolean operations employed in CSG with continuous optimization techniques, such as gradient descent. We further demonstrate that such a continuous boolean operator allows modeling of both sharp mechanical objects and smooth organic shapes with the same framework. Our proposed boolean operator opens up new possibilities for future research toward fully continuous CSG optimization.

📄 PDF Abstract BibTeX arXiv:2407.10954

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Analyzing Differentiable Fuzzy Logic Operators

2020-02-14 · Emile van Krieken, Erman Acar, Frank van Harmelen

The AI community is increasingly putting its attention towards combining symbolic and neural approaches, as it is often argued that the strengths and weaknesses of these approaches are complementary. One recent trend in …

Weakly-supervised Learning

Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks

2021-12-06 · Prithviraj Sen, Breno W. S. R. de Carvalho, Ryan Riegel, Alexander Gray

Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with differentiab…

BenchmarkingInductive logic programming

SoftJAX & SoftTorch: Empowering Automatic Differentiation Libraries with Informative Gradients

2026-03-09 · Anselm Paulus, A. René Geist, Vít Musil, Sebastian Hoffmann 외 arxiv

Automatic differentiation (AD) frameworks such as JAX and PyTorch have enabled gradient-based optimization for a wide range of scientific fields. Yet, many "hard" primitives in these libraries such as thresholding, Boole…

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration

2025-09-25 · Davide Bizzaro, Alessandro Daniele arxiv

Neurosymbolic integration (NeSy) blends neural-network learning with symbolic reasoning. The field can be split between methods injecting hand-crafted rules into neural models, and methods inducing symbolic rules from da…

Analyzing Differentiable Fuzzy Implications

2020-06-04 · Emile van Krieken, Erman Acar, Frank van Harmelen

Combining symbolic and neural approaches has gained considerable attention in the AI community, as it is often argued that the strengths and weaknesses of these approaches are complementary. One such trend in the literat…

Weakly-supervised Learning