Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"compositional reasoning"”.
-
Rethinking the Evaluation of Compositional Reasoning for Modern VLMs
… have demonstrated remarkable proficiency in Compositional Reasoning (CR). CR entails grasping the significance of attributes, relations, and word order. This prompts a crucial question: have VLMs effectively tackled the CR challenge? Our conjecture suggests that existing CR benchmarks may not …
-
Compositional Reasoning and Model Checking of Asynchronous Systems on Variations of LTL
… infinite trace semantics. Second, we develop a compositional framework for asynchronous systems where components are specified in LTL modulo theory. The semantics naturally account for component termination or failure, improving modular reasoning. This approach is extended to real-time systems …
-
Role of Premises in Visual Question Answering
… implied by the question -- and that reasoning about premises can help Visual Question Answering (VQA) models respond more intelligently to irrelevant or previously unseen questions. When presented with a question that is irrelevant to an image, state-of-the-art VQA models will still …
-
CoqIOA : a formalization of IO automata in the Coq proof assistant
… deductive verification do not allow for modular reasoning, which could greatly reduce the effort required to implement verified distributed systems by enabling reuse of code and proofs. This thesis presents CoqIOA, a framework for reasoning about distributed systems in a compositional way. CoqIOA …
-
Scene Perception for Simulated Intuitive Physics via Bayesian Inverse Graphics
… knowledge, form visual concepts, and perform compositional reasoning, such as inferring inter-object relations like containment. To this end, the thesis introduces the Simulated COgnitive Tasks (SCOT) benchmark, a large-scale synthetic dataset and data creation codebase allowing for the …
-
Explainable Multi-Step Reasoning Over Natural Language
Despite the significant progress of reasoning over natural language in the recent years, multi-step natural language reasoning is still a great challenge to the current algorithms. The challenges come from three aspects. First, some multi-step reasoning problems require the retrieval of evidence …
-
Statistical guarantees of performance for RTL designs
… it is desirable to incorporate probabilistic reasoning in the verification paradigm. Moreover, if such probabilistic verification can be applied at the register transfer level (RTL), it would facilitate better choices early in the hardware design cycle. In this thesis, we introduce the SHARPE …
-
On the Security and Reliability of Fixed-Wing Unmanned Aircraft Systems
… threats in UAS, and iii) extending tools from compositional verification to design and verify complex systems such as UAS. Under the first category, we use the robust H-infinity control approach to design a linear parameter-varying (LPV) path-following controller for a fixed-wing UAS that …