Justin D. Brody

activity

20152023

most citedOn the Potential of CLIP for Compositional Logical Reasoning

1 citations · 1 across the 3 of their papers we have counts for

collaborators

3 papers

cs.AI2023★ 1 cited

On the Potential of CLIP for Compositional Logical Reasoning

Justin Brody

In this paper we explore the possibility of using OpenAI's CLIP to perform logically coherent grounded visual reasoning. To that end, we formalize our terms and give a geometric an…

math.LO2016

Amalgamation Classes with $\exists$ -Resolutions

Justin Brody

Let $K_{d}$ denote the class of all finite graphs and, for graphs $A \subseteq B$ , say $A \leq_{d} B$ if distances in $A$ are preserved in $B$ ; i.e. for $a, a^{'} \in A$ the length of the…

math.LO2015

Full Amalgamation Classes with Intrinsic Transcendentals

Justin Brody

We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closur…

On the Potential of CLIP for Compositional Logical Reasoning

Amalgamation Classes with ∃-Resolutions

Full Amalgamation Classes with Intrinsic Transcendentals

Amalgamation Classes with $\exists$ -Resolutions